Login
Document type:
Zeitschriftenartikel / Journal Article
Title:
Markov Automata
Subtitle:
Deciding weak bisimulation by means of non-naively vanishing states
Journal:
Information and Computation
Volume:
5
Issue:
237
Year:
2014
Pages from - to:
151-173
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
BibTeX