Search results for: Rajeev Alur
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 70-85
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 122-133
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Verification I > 130-145
Lecture Notes in Computer Science > High Performance Computing — HiPC 2002 > Biocomputation > 702-712
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Contributions > 4-19
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Selected Presentations > 6-19
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 309-324
Lecture Notes in Computer Science > Computer Aided Verification > Applications of Learning > 548-562
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite State Systems > 61-76