Frage zu Artikel "Principles of the Spin Model Checker"

ISBN: 978-1-84628-770-1
Titel: Principles of the Spin Model Checker
von: Mordechai Ben-Ari