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

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

Original language	English
Title of host publication	Proceedings 12th International Symposium on Temporal Representation and Reasoning (TIME 2005, Burlington VT, USA, June 23-25, 2005)
Place of Publication	Los Alamitos CA, USA
Publisher	IEEE Computer Society
Pages	192-194
ISBN (Print)	0-7695-2370-6
DOIs	https://doi.org/10.1109/TIME.2005.13
Publication status	Published - 2005

Access to Document

@inproceedings{96026c57f51f48578c7a50ef06b7820a,

title = "Analysis of timed processes with data using algebraic transformations (Poster)",

author = "M.A. Reniers and Y.S. Usenko",

year = "2005",

doi = "10.1109/TIME.2005.13",

language = "English",

isbn = "0-7695-2370-6",

pages = "192--194",

booktitle = "Proceedings 12th International Symposium on Temporal Representation and Reasoning (TIME 2005, Burlington VT, USA, June 23-25, 2005)",

publisher = "IEEE Computer Society",

address = "United States",

}

Analysis of timed processes with data using algebraic transformations (Poster). / Reniers, M.A.; Usenko, Y.S.
Proceedings 12th International Symposium on Temporal Representation and Reasoning (TIME 2005, Burlington VT, USA, June 23-25, 2005). Los Alamitos CA, USA: IEEE Computer Society, 2005. p. 192-194.

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

TY - GEN

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

AU - Reniers, M.A.

AU - Usenko, Y.S.

PY - 2005

Y1 - 2005

U2 - 10.1109/TIME.2005.13

DO - 10.1109/TIME.2005.13

M3 - Conference contribution

SN - 0-7695-2370-6

SP - 192

EP - 194

BT - Proceedings 12th International Symposium on Temporal Representation and Reasoning (TIME 2005, Burlington VT, USA, June 23-25, 2005)

PB - IEEE Computer Society

CY - Los Alamitos CA, USA

ER -