Lower-bound-constrained runs in weighted timed automata

Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (Scopus)
OriginalsprogDansk
Artikelnummer73
TidsskriftPerformance Evaluation
Vol/bind73
Sider (fra-til)91-109
ISSN0166-5316
DOI
StatusUdgivet - 19 maj 2014

Citationsformater