A calculus for timed automata

P.R. D'Argenio, E. Brinksma

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    11 Citaten (Scopus)
    Originele taal-2Engels
    TitelFormal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996)
    RedacteurenB. Jonsson, J. Parrow
    UitgeverijSpringer
    Pagina's110-129
    ISBN van geprinte versie3-540-61648-9
    DOI's
    StatusGepubliceerd - 1996

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume1135
    ISSN van geprinte versie0302-9743

    Citeer dit