Search results for: Markus Müller-Olm
Lecture Notes in Computer Science > STACS 2001 > Contributions > 490-501
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Verification I > 79-96
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools > 163-167
Lecture Notes in Computer Science > STACS 2006 > 50-67
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 432-432
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 288-335
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 199-213