dblp.uni-trier.dewww.uni-trier.de

Jonathan Shalev (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman: Efficient Symbolic Simulation of Low Level Software. DATE 2008: 825-830

Selection of 1 from 2 records - Jonathan Shalev has 10 coauthors

Copyright © 2010-01-01 by Michael Ley (ley@uni-trier.de)