Publication Results
-
2025
ŠEDÝ, M.; HOLÍK, L. Automata Size Reduction by Procedure Finding. In Proceedings of NFM'25. Lecture Notes in Computer Science. Williamsburg: Springer Nature Switzerland AG, 2025. iss. 15682,
p. 421-440. Detail