Login
Document type:
Zeitschriftenartikel / Journal Article
Title:
Markov Automata
Subtitle:
Deciding Weak Bisimulation by means of non-naively Vanishing States
Journal:
Computing Research Repository (CoRR)
Issue:
abs/1205.6192
Year:
2012
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
BibTeX