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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings 12th International Symposium on Temporal Representation and Reasoning (TIME 2005, Burlington VT, USA, June 23-25, 2005)
Plaats van productie	Los Alamitos CA, USA
Uitgeverij	IEEE Computer Society
Pagina's	192-194
ISBN van geprinte versie	0-7695-2370-6
DOI's	https://doi.org/10.1109/TIME.2005.13
Status	Gepubliceerd - 2005

Toegang tot 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. blz. 192-194.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -