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 -