Search results for: Anca Muscholl
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 1136-1149
Lecture Notes in Computer Science > Automata, Languages and Programming > Language Theory, Codes, and Automata > 543-554
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 1999 > Foundations of Programming > 81-91
Lecture Notes in Computer Science > Automata, Languages and Programming > Model Checking and Protocol Analysis > 720-731
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Verification > 267-281
Lecture Notes in Computer Science > STACS 95 > 385-396
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 295-309
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Invited Talks > 50-57
Lecture Notes in Computer Science > LATIN 2002: Theoretical Informatics > Regular Contributions > 326-340
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Model-Checking and HMSC > 311-326
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model-Checking > 510-525
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Theory > 332-346