TELA_determinization.zip (1.27 MB)
Determinization and Limit-determinization of Emerson-Lei Automata - Supplementary material (ATVA'21)
Version 2 2021-06-30, 06:57
Version 1 2021-06-24, 12:50
software
posted on 2021-06-24, 12:50 authored by Tobias John, Simon JantschSimon Jantsch, Christel Baier, Sascha KlüppelholzSupplementary material to the paper "Determinization and Limit-determinization of Emerson-Lei Automata (ATVA'21).