Reasoning About Regular Properties: A Comparative Study

von Fiedor, Tomás
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)

Mata: A Fast and Simple Finite Automata Library

von Chocholatý, David
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 2 (2024)