Login
Dokumenttyp:
Zeitschriftenartikel / Journal Article
Titel:
Markov Automata
Untertitel:
Deciding Weak Bisimulation by means of non-naively Vanishing States
Zeitschrift:
Computing Research Repository (CoRR)
Heftnummer:
abs/1205.6192
Jahr:
2012
Sprache:
Englisch
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
BibTeX