Search results for: Rohit Chadha
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 95-111
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Regular Contributions > 182-197
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 103-117
Information and Computation > 2014 > 234 > Complete > 68-106
Theoretical Computer Science > 2009 > 410 > 42 > 4169-4179
Journal of Automated Reasoning > 2006 > 36 > 1-2 > 39-83
Journal of Logic and Algebraic Programming > 2005 > 64 > 2 > 189-218