The spin model checker :primer and reference manual
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: 23/9/2024 22:52