Original language | Undefined |
---|---|
Pages | 287-321 |
Number of pages | 35 |
Publication status | Published - Aug 2000 |
Event | 7th International SPIN Workshop on Model Checking and Software Verification 2000 - Stanford, United States Duration: 30 Aug 2000 → 1 Sep 2000 Conference number: 7 |
Workshop
Workshop | 7th International SPIN Workshop on Model Checking and Software Verification 2000 |
---|---|
Country | United States |
City | Stanford |
Period | 30/08/00 → 1/09/00 |
Keywords
- EWI-6446
- IR-63279