Weighted modal transition systems

Sebastian Bauer, Uli Fahrenberg, Line Juhl, Axel Legay, Kim Guldstrand Larsen, Claus Thrane

Research output: Contribution to journalJournal articleResearchpeer-review

15 Citations (Scopus)
Original languageEnglish
JournalFormal Methods in System Design
Volume42
Issue number2
Pages (from-to)193-220
ISSN0925-9856
DOIs
Publication statusPublished - 2013

Cite this

Bauer, S., Fahrenberg, U., Juhl, L., Legay, A., Larsen, K. G., & Thrane, C. (2013). Weighted modal transition systems. Formal Methods in System Design, 42(2), 193-220. https://doi.org/10.1007/s10703-012-0178-9