 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Author="Heyman, Amnon" |
|
Verifying very large industrial circuits using 100 processes and beyond
Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
International Journal of Foundations of Computer Science 18 (1), 2007, pp. 45-61
| Editors | Oscar H. Ibarra | |
| Publisher: | World Scientific Publishing Co. | |
| Address: | New Jersey-London-Singapore-Beijing-Shanghai-Hong Kong-Taipei-Chennai | |
| URL: |
http://dx.doi.org/10.1142/S0129054107004565 | |
|
|
|
|