Translated title of the contribution | Visual Verification Techniques |
---|---|
Original language | English |
Title of host publication | MOdelling and VErification of Parallel processes, MOVEP'2k, 19-23 June, Nantes |
Editors | F. Cassez |
Pages | 244-248 |
Publication status | Published - 2000 |
Publication type | B3 Article in conference proceedings |
Publication forum classification
- No publication forum level