Algebras and Automata for Timed and Stochastic Systems

P.R. d' Argenio

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    18 Downloads (Pure)
    Original languageUndefined
    Supervisors/Advisors
    • Brinksma, Hendrik , Supervisor
    Award date1 Jan 1999
    Place of PublicationEnschede
    Publisher
    Print ISBNs90-365-1363-4
    Publication statusPublished - 1999

    Keywords

    • EWI-6557
    • IR-17911
    • METIS-118430
    • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
    • FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS
    • FMT-PM: PROBABILISTIC METHODS
    • FMT-PA: PROCESS ALGEBRAS

    Cite this

    d' Argenio, P. R. (1999). Algebras and Automata for Timed and Stochastic Systems. Enschede: Twente University Press (TUP).