Spin Model Checker
Subtitle: Primer and Reference Manual
Publisher: Pearson Education, Limited
Published: 2003
Language: eng
Number of pages: 608
ISBN-13: 9780321773715
Subjects: Computer software, testing; Systems engineering