Kretínský, Jan and Meggendorfer, Tobias and Waldmann, Clara and Weininger, Maximilian (2017) Index Appearance Record for Transforming Rabin Automata into Parity Automata. In: TACAS 2017 : Tools and Algorithms for the Construction and Analysis of Systems. Springer, pp. 443-460. ISBN 9783662545768
Full text not available from this repository.Item Type:
Contribution in Book/Report/Proceedings
ID Code:
213814
Deposited By:
Deposited On:
06 Feb 2024 11:50
Refereed?:
Yes
Published?:
Published
Last Modified:
16 Jul 2024 05:25