Dense Time Reasoning via Mosaics

Mark Reynolds

doi:10.1109/TIME.2009.16

Dense Time Reasoning via Mosaics

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of the 16th International Symposium on Temporal Representation and Reasoning
Editors	Carsten Lutz, Jean-Francois Raskin
Place of Publication	Los Alamitos, California
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	3-10
Volume	1
Edition	Bressanone-Brixen, Italy
ISBN (Print)	9780769537276
DOIs	https://doi.org/10.1109/TIME.2009.16
Publication status	Published - 2009
Event	Dense Time Reasoning via Mosaics - Bressanone-Brixen, Italy Duration: 1 Jan 2009 → …

Conference

Conference	Dense Time Reasoning via Mosaics
Period	1/01/09 → …

Access to Document

10.1109/TIME.2009.16

Cite this

@inproceedings{9dacac42263941479c022f043f6ccf1d,

title = "Dense Time Reasoning via Mosaics",

author = "Mark Reynolds",

year = "2009",

doi = "10.1109/TIME.2009.16",

language = "English",

isbn = "9780769537276",

volume = "1",

pages = "3--10",

editor = "Carsten Lutz and Jean-Francois Raskin",

booktitle = "Proceedings of the 16th International Symposium on Temporal Representation and Reasoning",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States",

edition = "Bressanone-Brixen, Italy",

note = "Dense Time Reasoning via Mosaics ; Conference date: 01-01-2009",

}

Reynolds, M 2009, Dense Time Reasoning via Mosaics. in C Lutz & J-F Raskin (eds), Proceedings of the 16th International Symposium on Temporal Representation and Reasoning. Bressanone-Brixen, Italy edn, vol. 1, IEEE, Institute of Electrical and Electronics Engineers, Los Alamitos, California, pp. 3-10, Dense Time Reasoning via Mosaics, 1/01/09. https://doi.org/10.1109/TIME.2009.16

Dense Time Reasoning via Mosaics. / Reynolds, Mark.

Proceedings of the 16th International Symposium on Temporal Representation and Reasoning. ed. / Carsten Lutz; Jean-Francois Raskin. Vol. 1 Bressanone-Brixen, Italy. ed. Los Alamitos, California : IEEE, Institute of Electrical and Electronics Engineers, 2009. p. 3-10.

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

TY - GEN

T1 - Dense Time Reasoning via Mosaics

AU - Reynolds, Mark

PY - 2009

Y1 - 2009

U2 - 10.1109/TIME.2009.16

DO - 10.1109/TIME.2009.16

M3 - Conference paper

SN - 9780769537276

VL - 1

SP - 3

EP - 10

BT - Proceedings of the 16th International Symposium on Temporal Representation and Reasoning

A2 - Lutz, Carsten

A2 - Raskin, Jean-Francois

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - Los Alamitos, California

T2 - Dense Time Reasoning via Mosaics

Y2 - 1 January 2009

ER -