Treffer: Principles of the SPIN model checker
Titel:
Principles of the SPIN model checker / Mordechai Ben-Ari
Beteiligt:
Veröffentlicht:
London : Springer, 2008
Umfang:
XV, 216 S. : Ill., graph. Darst.
Publikationstyp:
Sprache:
Englisch
Anmerkungen:
Literaturverz. S. [209]-210
Schlagworte:
ISBN:
9781846287695 ; 9781846287701 (Sekundärausgabe)