Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceabstrakt i proceeding › Forskning › peer review

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	https://doi.org/10.1109/TIME.2016.31
Status	Udgivet - 2016
Begivenhed	TIME 2016: Temporal Representation and Reasoning - Technical University of Denmark, Lyngby, Danmark Varighed: 17 okt. 2016 → …

Konference	TIME 2016
Lokation	Technical University of Denmark
Land	Danmark
By	Lyngby
Periode	17/10/2016 → …

Adgang til dokumentet

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

note = "TIME 2016 : Temporal Representation and Reasoning , TIME ; Conference date: 17-10-2016",

}

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

T2 - TIME 2016

Y2 - 17 October 2016

ER -