Tampere University of Technology

TUTCRIS Research Portal

Verifying Safety by Combining Joint Actions with a Process-Algebraic Approach

Research output: Book/ReportCommissioned reportProfessional

Details

Original languageEnglish
Place of PublicationTampere
PublisherTampereen teknillinen korkeakoulu
Number of pages27
ISBN (Print)952-15-0230-4
Publication statusPublished - 1999
Publication typeD4 Published development or research report or study

Publication series

NameTampereen teknillinen korkeakoulu, Ohjelmistotekniikan laitos, Raportti
PublisherTampereen teknillinen korkeakoulu
No.19

Publication forum classification