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
    Pages-
    Number of pages15
    Publication statusPublished - 21 May 1997

    Keywords

    • METIS-120053

    Cite this

    d' Argenio, P. R. (1997). Regular processes and timed automata. In Transformation-based reactive systems development (pp. -). Palma, Mallorca, Spain.
    d' Argenio, P.R. / Regular processes and timed automata. Transformation-based reactive systems development. Palma, Mallorca, Spain, 1997. pp. -
    @inproceedings{5ac6fcb26ff442209ff690baaefa3e2a,
    title = "Regular processes and timed automata",
    keywords = "METIS-120053",
    author = "{d' Argenio}, P.R.",
    year = "1997",
    month = "5",
    day = "21",
    language = "Undefined",
    isbn = "3-540-63010-4",
    pages = "--",
    booktitle = "Transformation-based reactive systems development",

    }

    d' Argenio, PR 1997, Regular processes and timed automata. in Transformation-based reactive systems development. Palma, Mallorca, Spain, pp. -.

    Regular processes and timed automata. / d' Argenio, P.R.

    Transformation-based reactive systems development. Palma, Mallorca, Spain, 1997. p. -.

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

    TY - GEN

    T1 - Regular processes and timed automata

    AU - d' Argenio, P.R.

    PY - 1997/5/21

    Y1 - 1997/5/21

    KW - METIS-120053

    M3 - Conference contribution

    SN - 3-540-63010-4

    SP - -

    BT - Transformation-based reactive systems development

    CY - Palma, Mallorca, Spain

    ER -

    d' Argenio PR. Regular processes and timed automata. In Transformation-based reactive systems development. Palma, Mallorca, Spain. 1997. p. -