Benutzer: Gast  Login
Dokumenttyp:
Buchbeitrag 
Autor(en):
Křetínský, Jan; Meggendorfer, Tobias; Waldmann, Clara; Weininger, Maximilian 
Nicht-TUM Koautoren:
ja 
Kooperation:
international 
Titel:
Index Appearance Record for Transforming Rabin Automata into Parity Automata 
Seitenangaben Beitrag:
443--460 
Herausgeber:
Legay, Axel; Margaria, Tiziana 
Buchtitel:
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 
Verlag / Institution:
Springer Berlin Heidelberg 
Verlagsort:
Berlin, Heidelberg 
Jahr:
2017 
Print-ISBN:
978-3-662-54577-5 
Key publication:
Ja 
Peer reviewed:
ja 
International:
Ja 
Book review:
Nein 
commissioned:
not commissioned 
Kategorie:
research 
Interdisziplinarität:
Ja 
Leitbild:
Ethics & Sustainability:
Nein