The spin model checker : primer and reference manual /

The spin model checker : primer and reference manual /

06

Bibliographic Details
Main Author: 455693 Holzmann, Gerard J.
Format:
Language:eng
Published: Boston : Addison-Wesley Professional, 2004
Subjects:
Systems engineering
Computer programs

Similar Items