Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Lattice structures for bisimilar Probabilistic Automata
Herausgeber Sammlung:
Holik, Lukas; Clemente, Lorenzo
Titel Konferenzpublikation:
Proceedings 15th International Workshop on Verification of Infinite-State Systems
Untertitel Konferenzpublikation:
Hanoi, Vietnam, 14th October 2013
Reihentitel:
Electronic Proceedings in Theoretical Computer Science
Bandnummer Reihe:
140
Konferenztitel:
International Workshop on Verification of Infinite-State Systems (15., 2013, Hanoi)
Tagungsort:
Hanoi
Jahr der Konferenz:
2013
Verlag:
Open Publishing Association
Jahr:
2014
Seiten von - bis:
1-15
Sprache:
Englisch
DOI:
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
BibTeX