Original language | Undefined |
---|---|
Title of host publication | Proceedings of the 5th and 6th International SPIN Workshop: Theoretical and Practical Aspects of SPIN Model Checking |
Place of Publication | Toulouse, France |
Pages | 108-119 |
Number of pages | 12 |
Publication status | Published - 11 Feb 1999 |
Keywords
- METIS-119602