Tampere University of Technology

TUTCRIS Research Portal

The design of a specification language for reactive systems

Research output: Book/ReportDoctoral thesisMonograph

Details

Original languageEnglish
Place of PublicationTampere
PublisherTampere University of Technology
Number of pages147
Publication statusPublished - 1992
Publication typeG4 Doctoral dissertation (monograph)

Publication series

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

Publication forum classification