Search results for: Holger Hermanns
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > UML Models and Model Checking > 355-374
Theoretical Computer Science > 2002 > 274 > 1-2 > 43-87
Electronic Notes in Theoretical Computer Science > 1999 > 22 > Complete > 30-54