Search results for: Javier Esparza
Lecture Notes in Computer Science > Static Analysis > 334-350
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Refinement > 489-503
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Invited Talks > 19-35
Lecture Notes in Computer Science > STACS 91 > 384-397
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 14-30
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Invited Papers > 16-31
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 9-Track B. Probabilistic Computation > 539-550
Lecture Notes in Computer Science > Graph Transformations > Session 2. Behavioural Analysis > 107-122
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > Tool Papers > 463-472
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Invited Talks > 1-1
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Presentations > 541-545