Search results for: E. Allen Emerson
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 522-530
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2011 > Research Track Papers > 675-690
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Model Checking > 67-81
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Compositional Methods and Real Time > 431-445
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Verification > 94-113
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Semantics and Compositional Verification > 465-479
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Verification of Parameterized Systems > 144-159
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Abstraction and Compositional Techniques > 142-157
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools – II > 459-462
Lecture Notes in Computer Science > FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science > Invited Presentations > 1-10