A Calculus for Timed Automata

P.R. d' Argenio, Hendrik Brinksma

    Research output: Book/ReportReportOther research output

    11 Citations (Scopus)
    27 Downloads (Pure)
    Original languageUndefined
    Place of PublicationEnschede, the Netherlands
    PublisherUniversity of Twente
    Publication statusPublished - 1996

    Publication series

    NameMemoranda Informatica
    PublisherUniversity of Twente
    No.96-13

    Keywords

    • EWI-6427
    • FMT-PA: PROCESS ALGEBRAS
    • IR-66263
    • FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS

    Cite this