Original language | Danish |
---|---|
Article number | 73 |
Journal | Performance Evaluation |
Volume | 73 |
Pages (from-to) | 91-109 |
ISSN | 0166-5316 |
DOIs | |
Publication status | Published - 19 May 2014 |
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
13
Citations
(Scopus)