Wyniki wyszukiwania dla: Rajeev Alur
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 90-103
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Probabilistic and Quantitative Models > 333-347
Lecture Notes in Computer Science > Computer Aided Verification > Abstraction and Refinement > 169-181
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 19-33
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 45-60
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Invited Talks > 15-15
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 35-48
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 330-344
Lecture Notes in Computer Science > Automata, Languages and Programming > Reasoning and Verification > 797-808
Lecture Notes in Computer Science > Formal Methods for the Design of Real-Time Systems > Models and Languages > 1-24
Lecture Notes in Computer Science > Computer Aided Verification > Session 5. Memory Consistency > 273-287