Originalsprog | Dansk |
---|---|
Artikelnummer | 73 |
Tidsskrift | Performance Evaluation |
Vol/bind | 73 |
Sider (fra-til) | 91-109 |
ISSN | 0166-5316 |
DOI | |
Status | Udgivet - 19 maj 2014 |
Lower-bound-constrained runs in weighted timed automata
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
13
Citationer
(Scopus)