@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",
}