Search results for: Orna Grumberg
Journal of Automated Reasoning > 2019 > 63 > 4 > 1077-1101
Formal Aspects of Computing > 2018 > 30 > 5 > 571-595
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 20-35
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 457-473
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Specification Languages and Methodologies > 280-297
Lecture Notes in Computer Science > CONCUR'93 > 262-277
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Real Time and LTL Model Checking > 191-206
Lecture Notes in Computer Science > Temporal Logic > 210-224
Lecture Notes in Computer Science > Languages: From Formal to Natural > Languages: From Formal to Natural > 228-244
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Abstraction and Refinement > 271-288