Search results for: Anil Nerode
Lecture Notes in Computer Science > Hybrid Systems IV > 174-214
Lecture Notes in Computer Science > Hybrid Systems II > 344-358
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 52-67
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 358-372
Lecture Notes in Computer Science > Hybrid Systems V > 122-141