figshare
Browse
TELA_determinization.zip (1.27 MB)

Determinization and Limit-determinization of Emerson-Lei Automata - Supplementary material (ATVA'21)

Download (1.27 MB)
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üppelholz
Supplementary material to the paper "Determinization and Limit-determinization of Emerson-Lei Automata (ATVA'21).

History

Usage metrics

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC