Lower-bound-constrained runs in weighted timed automata

Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Access to Document

@inproceedings{f5878af07f99493aae783f090ab5800f,

title = "Lower-bound-constrained runs in weighted timed automata",

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

year = "2014",

month = may,

day = "19",

doi = "10.1016/j.peva.2013.11.002",

language = "Dansk",

volume = "73",

pages = "91--109",

journal = "Performance Evaluation",

issn = "0166-5316",

publisher = "Elsevier",

}

TY - GEN

T1 - Lower-bound-constrained runs in weighted timed automata

AU - Bouyer, Patricia

AU - Larsen, Kim Guldstrand

AU - Markey, Nicolas

PY - 2014/5/19

Y1 - 2014/5/19

U2 - 10.1016/j.peva.2013.11.002

DO - 10.1016/j.peva.2013.11.002

M3 - Konferenceartikel i tidsskrift

SN - 0166-5316

VL - 73

SP - 91

EP - 109

JO - Performance Evaluation

JF - Performance Evaluation

M1 - 73

ER -