TY  - BOOK
AU  - Valmari,Antti
ED  - International SPIN Workshop
ED  - SpringerLink (Online service)
TI  - Model Checking Software (vol. # 3925): 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings 
SN  - 9783540331032 (electronic bk.)
AV  - QA76.76.V47 I58 2006
U1  - 005.14 22
PY  - 2006///
CY  - Berlin Heidelberg
PB  - Springer-Verlag GmbH.
KW  - Computer software
KW  - Verification
KW  - Congresses
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/http://dx.doi.org/10.1007/11691617
ER  -