Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Lattice structures for bisimilar Probabilistic Automata
Collection editors:
Holik, Lukas; Clemente, Lorenzo
Title of conference publication:
Proceedings 15th International Workshop on Verification of Infinite-State Systems
Subtitle of conference publication:
Hanoi, Vietnam, 14th October 2013
Series title:
Electronic Proceedings in Theoretical Computer Science
Series volume:
140
Conference title:
International Workshop on Verification of Infinite-State Systems (15., 2013, Hanoi)
Venue:
Hanoi
Year of conference:
2013
Publisher:
Open Publishing Association
Year:
2014
Pages from - to:
1-15
Language:
Englisch
DOI:
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
BibTeX