Search results for: Ph. Schnoebelen
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B7: Specification and Verification > 441-452
Lecture Notes in Computer Science > Parle ’91 Parallel Architectures and Languages Europe > Submitted Presentations > 717-734
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 301-310
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2002 > Contributed Talks > 543-555
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 97-111
Lecture Notes in Computer Science > CONCUR '91 > 480-494
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Symbolic Verification – Slicing > 212-227
Lecture Notes in Computer Science > STACS 94 > 47-58
Lecture Notes in Computer Science > LATIN 2000: Theoretical Informatics > Logic, Programming Theory > 437-446
Lecture Notes in Computer Science > STACS 98 > 61-72