The design of a specification language for reactive systems

    Research output: Book/ReportDoctoral thesisMonograph

    Translated title of the contributionThe design of a specification language for reactive systems
    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

    • No publication forum level

    Cite this