Search results for: S. Oberthür
Operative Orthopädie und Traumatologie > 2019 > 31 > 4 > 311-320
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Model Checking > 39-53
Electronic Notes in Theoretical Computer Science > 2006 > 144 > 4 > 125-145