HOLZMANN, Gerald J. The spin model checker :primer and reference manual. Boston: Addison-Wesley, 2004, xii, 596 s. ISBN 0-321-22862-6.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name The spin model checker :primer and reference manual
Authors HOLZMANN, Gerald J.
Edition Boston, xii, 596 s, 2004.
Publisher Addison-Wesley
Other information
ISBN 0-321-22862-6
Changed by The record has been imported from the library system. Changed: 3/12/2009 00:00.
PrintDisplayed: 24/5/2024 09:23