Index Appearance Record for Transforming Rabin Automata into Parity Automata

Titel:: Index Appearance Record for Transforming Rabin Automata into Parity Automata
Dokumenttyp:: Buchbeitrag
Autor(en):: Křetí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