| Originalsprog | Dansk |
|---|---|
| Titel | PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning : TIME 2016 |
| Antal sider | 1 |
| Forlag | IEEE |
| Publikationsdato | 2016 |
| ISBN (Elektronisk) | 978-1-5090-3825-1 |
| DOI | |
| Status | Udgivet - 2016 |
| Begivenhed | TIME 2016: Temporal Representation and Reasoning - Technical University of Denmark, Lyngby, Danmark Varighed: 17 okt. 2016 → … |
Konference
| Konference | TIME 2016 |
|---|---|
| Lokation | Technical University of Denmark |
| Land | Danmark |
| By | Lyngby |
| Periode | 17/10/2016 → … |
Citer dette
Larsen, K. G. (2016). Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. I PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016 IEEE. https://doi.org/10.1109/TIME.2016.31
@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",
address = "USA",
}
Larsen, KG 2016, Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. i PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016. IEEE, TIME 2016, Lyngby, Danmark, 17/10/2016. https://doi.org/10.1109/TIME.2016.31
Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. / Larsen, Kim Guldstrand.
PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016. IEEE, 2016.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceabstrakt i proceeding › Forskning › peer review
TY - ABST
T1 - Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems
AU - Larsen, Kim Guldstrand
PY - 2016
Y1 - 2016
U2 - 10.1109/TIME.2016.31
DO - 10.1109/TIME.2016.31
M3 - Konferenceabstrakt i proceeding
BT - PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning
PB - IEEE
ER -
Larsen KG. Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. I PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016. IEEE. 2016 https://doi.org/10.1109/TIME.2016.31