Index Appearance Record for Transforming Rabin Automata into Parity Automata

Title:: Index Appearance Record for Transforming Rabin Automata into Parity Automata
Document type:: Buchbeitrag
Author(s):: Křetínský, Jan; Meggendorfer, Tobias; Waldmann, Clara; Weininger, Maximilian
Non-TUM Co-author(s):: ja
Cooperation:: international
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
DOI:: doi:10.1007/978-3-662-54577-5_26
Key publication:: Ja
Peer reviewed:: ja
International:: Ja
Book review:: Nein
Commissioned:: not commissioned
Category:: research
Interdisciplinarity:: Ja
Mission statement:: ;
Ethics and Sustainability:: Nein
BibTeX