Search results for: Javier Esparza
Lecture Notes in Computer Science > TAPSOFT'93: Theory and Practice of Software Development > 613-628
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Partial Orders and Asynchronous Systems > 27-41
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2009 > Invited Papers > 24-33
Lecture Notes in Computer Science > CONCUR '91 > 172-187
Lecture Notes in Computer Science > STACS 2007 > Session 5B > 296-307
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Automata and Logics > 174-190
Lecture Notes in Computer Science > Computer Aided Verification > Session V: Tool Environment > 164-167
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 182-198
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Verification of Parameterized Systems > 128-143
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 326-337