Search results for: Swarat Chaudhuri
Lecture Notes in Computer Science > FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers – Track B > 393-404
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking > 664-678
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Partial Orders and Asynchronous Systems > 42-56
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 45-60
Lecture Notes in Computer Science > Computer Aided Verification > Session 9. Concurrent Program Verification I > 465-479
Lecture Notes in Computer Science > Computer Aided Verification > Session 12. Trees, Pushdown Systems and Boolean Programs > 329-342
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite State Systems > 61-76
Journal of Materials Science: Materials in Electronics > 2016 > 27 > 7 > 7478-7486
2015 54th IEEE Conference on Decision and Control (CDC) > 7434 - 7439
Journal of Theoretical and Applied Physics > 2013 > 7 > 1 > 1-7