Search results for: A Pnueli
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 591-620
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 198-209
Lecture Notes in Computer Science > Applied Formal Methods — FM-Trends 98 > Regular Papers > 137-150
Lecture Notes in Computer Science > Hybrid Systems > 179-208
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 151-166
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 230-247
Lecture Notes in Computer Science > Logics of Programs > 124-136