Search results for: Yoav Rodeh
Theoretical Computer Science > 2017 > 688 > C > 77-85
Lecture Notes in Computer Science > Computer Aided Verification > Tool Presentations: Model-Checking and Automata Techniques > 363-367
Lecture Notes in Computer Science > FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 317-333
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Bounded Model Checking > 363-377
Lecture Notes in Computer Science > Computer Aided Verification > BDD and Decision Procedures > 144-154
Lecture Notes in Computer Science > STACS 2002 > Algorithms > 76-87
Algorithmica > 2010 > 57 > 4 > 641-652
Information and Computation > 2006 > 204 > 1 > 26-59
Theory of Computing Systems > 2004 > 37 > 1 > 49-75
Information and Computation > 2002 > 178 > 1 > 279-293
Formal Methods in System Design > 2001 > 18 > 2 > 141-163