Regular processes and timed automata

P.R. d' Argenio

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

    Keywords

    • METIS-120053

    Cite this