Tampere University of Technology

TUTCRIS Research Portal

A Verification-Oriented Theory of Data in Labelled Transition Systems

Research output: Book/ReportDoctoral thesisCollection of Articles

Details

Original languageEnglish
Place of PublicationTampere
PublisherTampere University of Technology
Number of pages105
Publication statusPublished - 1998
Publication typeG5 Doctoral dissertation (article)

Publication series

NameTampereen teknillinen korkeakoulu. Julkaisuja
PublisherTampere University of Technology
No.234

Publication forum classification