Tampere University of Technology

TUTCRIS Research Portal

Visual Verification Techniques

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

Details

Original languageEnglish
Title of host publicationMOdelling and VErification of Parallel processes, MOVEP'2k, 19-23 June, Nantes
EditorsF. Cassez
Pages244-248
Publication statusPublished - 2000
Publication typeB3 Non-refereed article in conference proceedings

Publication forum classification