Almost Optimal Strategies in One Clock Priced Timed Automata

Patricia Bouyer, Kim Guldstrand Larsen, N. Markey, Jacob Illum Rasmussen

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

Originalsprog	Engelsk
Titel	Logical Foundations of Computer Science
Vol/bind	4514
Forlag	Springer
Publikationsdato	2007
DOI	https://doi.org/10.1007/978-3-540-72734-7
Status	Udgivet - 2007
Begivenhed	FSTTCS 2006 - Kolkata, Indien Varighed: 13 dec. 2006 → 15 dec. 2006 Konferencens nummer: 26th

Navn	Lecture Notes in Computer Science
Nummer	4514

Adgang til dokumentet

@inproceedings{66064bf0a6e211dbb8eb000ea68e967b,

title = "Almost Optimal Strategies in One Clock Priced Timed Automata",

author = "Patricia Bouyer and Larsen, {Kim Guldstrand} and N. Markey and Rasmussen, {Jacob Illum}",

year = "2007",

doi = "10.1007/978-3-540-72734-7",

language = "English",

volume = "4514",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "4514",

booktitle = "Logical Foundations of Computer Science",

address = "Germany",

note = "FSTTCS 2006 ; Conference date: 13-12-2006 Through 15-12-2006",

}

TY - GEN

T1 - Almost Optimal Strategies in One Clock Priced Timed Automata

AU - Bouyer, Patricia

AU - Larsen, Kim Guldstrand

AU - Markey, N.

AU - Rasmussen, Jacob Illum

N1 - Conference code: 26th

PY - 2007

Y1 - 2007

U2 - 10.1007/978-3-540-72734-7

DO - 10.1007/978-3-540-72734-7

M3 - Article in proceeding

VL - 4514

T3 - Lecture Notes in Computer Science

BT - Logical Foundations of Computer Science

PB - Springer

T2 - FSTTCS 2006

Y2 - 13 December 2006 through 15 December 2006

ER -