Search results for: Stefan Römer
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 87-106
Formal Methods in System Design > 2002 > 20 > 3 > 285-310
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 87-106
Formal Methods in System Design > 2002 > 20 > 3 > 285-310