Result: Principles of the SPIN model checker

Title:
Principles of the SPIN model checker / Mordechai Ben-Ari
Involved:
Ben-Arî, Môtî 
Published:
London : Springer, 2008
Scope:
XV, 216 S. : Ill., graph. Darst.
Resource Type:
book
Language:
English
Notes:
Literaturverz. S. [209]-210
RVK-Notation:
ST 130 ST 230 ST 233 ST 257
Subject Added Keywords:
ISBN:
9781846287695 ; 9781846287701 (Sekundärausgabe)

Additional information

Additional functions