Search results for: Viraj Kumar
Lecture Notes in Computer Science > Automata, Languages and Programming > Automata and Formal Languages II > 1102-1114
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Verification II > 448-464
Lecture Notes in Computer Science > CONCUR 2006 – Concurrency Theory > Minimization and Equivalence Checking > 203-217