Search results for: Ralf Buschermöhle
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part V: Verification > 494-516
Innovations in Systems and Software Engineering > 2008 > 4 > 3 > 249-257
Informatik-Spektrum > 2004 > 27 > 2 > 146-158