TY  - BOOK
AU  - Bos̆nac̆ki,Dragan
ED  - International SPIN Workshop
TI  - Model checking software: proceedings
T2  - Lecture notes in computer science
SN  - 3540434771
PY  - 2002///
CY  - Berlin, Heidelberg [u.a.]
PB  - Springer
KW  - SPIN (Computer file)
KW  - Congresses
KW  - Computer software
KW  - Verification
KW  - Model Checking
KW  - Programmverifikation
KW  - Konferenzschrift
KW  - 2002
KW  - Grenoble
KW  - gnd-content
N1  - Literaturangaben
UR  - https://swbplus.bsz-bw.de/bsz098182579inh.htm
UR  - https://swbplus.bsz-bw.de/bsz098182579kap.htm
UR  - https://swbplus.bsz-bw.de/bsz098182579cov.jpg
UR  - https://zbmath.org/?q=an:0992.00040
ER  -