Search results for: P. Madhusudan
International Journal of Environmental Science and Technology > 2018 > 15 > 2 > 427-440
Lecture Notes in Computer Science > Automata, Languages and Programming > Automata and Formal Languages II > 1102-1114
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Temporal Logic > 467-481
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 408-420
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Memory Models and Consistency > 26-40
Lecture Notes in Computer Science > FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 253-264
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Static Analysis > 102-116
Lecture Notes in Computer Science > Computer Aided Verification > Session 13. Concurrent Program Verification II > 629-644
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 201-212
Lecture Notes in Computer Science > CONCUR 2006 – Concurrency Theory > Minimization and Equivalence Checking > 203-217
Lecture Notes in Computer Science > Formal Methods for the Design of Real-Time Systems > Models and Languages > 1-24
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2009 > Contributed Papers > 561-573