Weighted modal transition systems

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

17 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftFormal Methods in System Design
Vol/bind42
Udgave nummer2
Sider (fra-til)193-220
ISSN0925-9856
DOI
StatusUdgivet - 2013

Bibliografisk note

This paper is based on the conference contribution [6] which was presented at the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS 2011, Warszawa, Poland

Citationsformater