Login
Dokumenttyp:
Zeitschriftenartikel / Journal Article
Titel:
Markov Automata
Untertitel:
Deciding weak bisimulation by means of non-naively vanishing states
Zeitschrift:
Information and Computation
Jahrgang:
5
Heftnummer:
237
Jahr:
2014
Seiten von - bis:
151-173
Sprache:
Englisch
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
BibTeX