Visual Verification Techniques

H. Virtanen

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

    Translated title of the contributionVisual Verification Techniques
    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 Article in conference proceedings

    Publication forum classification

    • No publication forum level

    Cite this