Search results for: Thomas Göthel
Journal of Systems and Software > 2018 > 144 > C > 314-327
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 500-505
Innovations in Systems and Software Engineering > 2010 > 6 > 3 > 181-193