Benutzer: Gast  Login
Titel:

Index Appearance Record for Transforming Rabin Automata into Parity Automata

Dokumenttyp:
Buchbeitrag
Autor(en):
Křetínský, Jan; Meggendorfer, Tobias; Waldmann, Clara; Weininger, Maximilian
Nicht-TUM Koautoren:
ja
Kooperation:
international
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
DOI:
doi:10.1007/978-3-662-54577-5_26
Key publication:
Ja
Peer reviewed:
ja
International:
Ja
Book review:
Nein
commissioned:
not commissioned
Kategorie:
research
Interdisziplinarität:
Ja
Leitbild:
;
Ethics und Sustainability:
Nein
 BibTeX