Result: Principles of the SPIN model checker

Title:
Involved:
Published:
London : Springer, 2008
Scope:
XV, 216 S. : Ill., graph. Darst.
Resource Type:
book
Language:
English
Notes:
Literaturverz. S. [209]-210
Subject Added Keywords:
ISBN:
9781846287695 ; 9781846287701 (Sekundärausgabe)

Additional information