Tampere University of Technology

TUTCRIS Research Portal

Abstractions and Logical Layers in Specifications of Reactive Systems

Research output: Book/ReportDoctoral thesisCollection of Articles

Details

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

Publication series

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

Publication forum classification