Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Theobald, Michael - School of Computer Science, Carnegie Mellon University
Electronic Notes in Theoretical Computer Science 89 No. 3 (2003) URL: http://www.elsevier.nl/locate/entcs/volume89.html 19 pages
SATBased Algorithms for Logic Minimization Samir Sapra Michael Theobald Edmund Clarke
Verification of Hybrid Systems Based on CounterexampleGuided Abstraction Refinement ?
Generalized Latency-Insensitive Systems for GALS Architectures
Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock Architectures
International Journal of Foundations of Computer Science World Scientific Publishing Company
