Regular processes and timed automata

P.R. d' Argenio

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationTransformation-based reactive systems development
    Place of PublicationPalma, Mallorca, Spain
    Number of pages15
    Publication statusPublished - 21 May 1997


    • METIS-120053

    Cite this

    d' Argenio, P. R. (1997). Regular processes and timed automata. In Transformation-based reactive systems development (pp. -). Palma, Mallorca, Spain.