Maidl, M. (2000). Using model checking for system verification.
Chicago-Zitierstil (17. Ausg.)Maidl, Monika. Using Model Checking for System Verification. 2000.
MLA-Zitierstil (9. Ausg.)Maidl, Monika. Using Model Checking for System Verification. 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.