-
BLAHOUDEK, František; Alexandre DURET-LUTZ; Mikuláš KLOKOČKA; Mojmír KŘETÍNSKÝ a Jan STREJČEK. Seminator: A Tool for Semi-Determinization of Omega-Automata. Online. In Thomas Eiter and David Sands. Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017). Neuveden: EasyChair, 2017, s. 356-367. ISSN 2398-7340. Dostupné z: https://doi.org/10.29007/k5nl.Podrobněji: https://is.muni.cz/publication/1380432/cs