Original language | Undefined |
---|---|
Title of host publication | SPIN Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop (SPIN'2000). Editors: K. Havelund, J. Penix and W. Vissers. LNCS 1885 |
Place of Publication | Stanford University, California, USA |
Pages | 287-321 |
Number of pages | 35 |
Publication status | Published - 22 Feb 2000 |
Keywords
- METIS-119645