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