Automata@FIT
Produkty
-
2022
Ranker: Nástroj pro komplementaci Büchiho automatů, software, 2022
Autoři: HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.
2022
Ranker: Nástroj pro komplementaci Büchiho automatů, software, 2022
Autoři: HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.