TY  - BOOK
AU  - Havelund, Klaus. Ed.
AU  - Penix, John. Ed.
AU  - Visser, Willem. Ed.
TI  - Spin model checking and software verification, proceedings of the 7th International workshop, stanford, 2000
SN  - 3540410309
CY  - Berlin
KW  - Spin Model Checking
KW  - Software Verification
ER  -