Index Appearance Record for Transforming Rabin Automata into Parity Automata.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Publication date	31/03/2017
Host publication	TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems
Publisher	Springer
Pages	443-460
Number of pages	18
ISBN (print)	9783662545768
<mark>Original language</mark>	English

Research