Tampere University of Technology

TUTCRIS Research Portal

Visual Verification of Safety and Liveness

Research output: Book/ReportCommissioned reportProfessional

Details

Original languageEnglish
Place of PublicationTampere
PublisherUnknown Publisher
Number of pages20
Publication statusPublished - 1995
Publication typeD4 Published development or research report or study

Publication series

NameLaitosraportti
No.17

Publication forum classification