Optimal infinite scheduling for multi-priced timed automata

Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Formal Methods in System Design
Udgave nummer	1
Antal sider	3
ISSN	0925-9856
DOI	https://doi.org/10.1007/s10703-007-0043-4
Status	Udgivet - 2008
Begivenhed	Optimal infinite scheduling for multi-priced timed automata - Varighed: 19 maj 2010 → …

Konference	Optimal infinite scheduling for multi-priced timed automata
Periode	19/05/2010 → …

Volumne: 32

Adgang til dokumentet

@inproceedings{a17c2330027511de82e6000ea68e967b,

title = "Optimal infinite scheduling for multi-priced timed automata",

author = "Patricia Bouyer and Ed Brinksma and Larsen, {Kim Guldstrand}",

note = "Volumne: 32; Optimal infinite scheduling for multi-priced timed automata ; Conference date: 19-05-2010",

year = "2008",

doi = "10.1007/s10703-007-0043-4",

language = "English",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer",

number = "1",

}

TY - GEN

T1 - Optimal infinite scheduling for multi-priced timed automata

AU - Bouyer, Patricia

AU - Brinksma, Ed

AU - Larsen, Kim Guldstrand

N1 - Volumne: 32

PY - 2008

Y1 - 2008

U2 - 10.1007/s10703-007-0043-4

DO - 10.1007/s10703-007-0043-4

M3 - Conference article in Journal

SN - 0925-9856

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 1

T2 - Optimal infinite scheduling for multi-priced timed automata

Y2 - 19 May 2010

ER -