@inbook{a938f53f60e048309c07704e7544df31,
title = "Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems",
author = "Larsen, {Kim Guldstrand}",
year = "2016",
doi = "10.1109/TIME.2016.31",
language = "Dansk",
booktitle = "PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning",
publisher = "IEEE (Institute of Electrical and Electronics Engineers)",
address = "USA",
note = "TIME 2016 : Temporal Representation and Reasoning , TIME ; Conference date: 17-10-2016",
}