Analysis of timed processes with data using algebraic transformations (Poster)

M.A. Reniers, Y.S. Usenko

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

    3 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings 12th International Symposium on Temporal Representation and Reasoning (TIME 2005, Burlington VT, USA, June 23-25, 2005)
    Place of PublicationLos Alamitos CA, USA
    PublisherIEEE Computer Society
    ISBN (Print)0-7695-2370-6
    Publication statusPublished - 2005

    Cite this