Lower-Bound Constrained Runs in Weighted Timed Automata

Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey

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

12 Citationer (Scopus)

Originalsprog	Dansk
Titel	Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012
Udgivelsessted	London
Forlag	IEEE Computer Society Press
Publikationsdato	2012
Sider	128-137
ISBN (Trykt)	978-1-4673-2346-8
ISBN (Elektronisk)	978-0-7695-4781-7
DOI	https://doi.org/10.1109/QEST.2012.28
Status	Udgivet - 2012
Begivenhed	QEST: Internation Conference on Quantitative Evaluation of Systems - Varighed: 17 sep. 2012 → … Konferencens nummer: 9

Adgang til dokumentet

@inproceedings{685f9a74ecf44f439e351ecd0bcf13f6,

title = "Lower-Bound Constrained Runs in Weighted Timed Automata",

author = "Patricia Bouyer and Larsen, {Kim Guldstrand} and Nicolas Markey",

year = "2012",

doi = "10.1109/QEST.2012.28",

language = "Dansk",

isbn = "978-1-4673-2346-8",

pages = "128--137",

booktitle = "Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012",

publisher = "IEEE Computer Society Press",

address = "USA",

note = "QEST : Internation Conference on Quantitative Evaluation of Systems ; Conference date: 17-09-2012",

}

Lower-Bound Constrained Runs in Weighted Timed Automata. / Bouyer, Patricia; Larsen, Kim Guldstrand; Markey, Nicolas.
Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012. London: IEEE Computer Society Press, 2012. s. 128-137.

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

TY - GEN

T1 - Lower-Bound Constrained Runs in Weighted Timed Automata

AU - Bouyer, Patricia

AU - Larsen, Kim Guldstrand

AU - Markey, Nicolas

N1 - Conference code: 9

PY - 2012

Y1 - 2012

U2 - 10.1109/QEST.2012.28

DO - 10.1109/QEST.2012.28

M3 - Konferenceartikel i proceeding

SN - 978-1-4673-2346-8

SP - 128

EP - 137

BT - Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012

PB - IEEE Computer Society Press

CY - London

T2 - QEST

Y2 - 17 September 2012

ER -