Search results for: Zohar Manna
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 111-125
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 159-173
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 539-554
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 212-224
Lecture Notes in Computer Science > Requirements Targeting Software and Systems Engineering > Tool Support and Prototyping > 273-292
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 641-659
Lecture Notes in Computer Science > Temporal Logic > 430-444