User: Guest  Login
Document type:
Buchbeitrag 
Author(s):
Křetínský, Jan; Meggendorfer, Tobias; Waldmann, Clara; Weininger, Maximilian 
Non-TUM Co-author(s):
ja 
Cooperation:
international 
Title:
Index Appearance Record for Transforming Rabin Automata into Parity Automata 
Pages contribution:
443--460 
Editor:
Legay, Axel; Margaria, Tiziana 
Book title:
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I 
Intellectual Contribution:
Discipline-based Research 
Publisher:
Springer Berlin Heidelberg 
Publisher address:
Berlin, Heidelberg 
Year:
2017 
Print-ISBN:
978-3-662-54577-5 
Key publication:
Ja 
Peer reviewed:
ja 
International:
Ja 
Book review:
Nein 
Commissioned:
not commissioned 
Category:
research 
Interdisciplinarity:
Ja 
Mission statement:
Ethics and Sustainability:
Nein