Tampere University of Technology

TUTCRIS Research Portal

Visual Verification of Safety and Liveness

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


Original languageEnglish
Title of host publicationFME'96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Oxford, UK, March 18-22, 1996
Place of PublicationBerlin, Heidelberg, New York
PublisherSpringer Verlag
Publication statusPublished - 1996
Publication typeB3 Non-refereed article in conference proceedings

Publication forum classification