TY - BOOK
AU - Holzmann, Gerard J.
TI - The spin model checker primer and reference manual
PB - Addison-Wesley
SN - 0321228626
SN - 9780321773715
SN - 0321773713
KW - Systems engineering Mathematical models
KW - Computer programs Testing
KW - Model Checking
PY - 2004
CY - Boston
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation