A Calculus for Timed Automata

P.R. d' Argenio, Hendrik Brinksma

    Research output: Book/ReportReportOther research output

    11 Citations (Scopus)
    24 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

    d' Argenio, P. R., & Brinksma, H. (1996). A Calculus for Timed Automata. (Memoranda Informatica; No. 96-13). Enschede, the Netherlands: University of Twente.