- The Parametric Complexity of Lossy Counter Machines Sylvain Schmitz Tue 05 March 2019
- Simulations and Antichains for Efficient Handling of Finite Automata Lukas Holik Mon 11 January 2016
- Checking NFA Equivalence with Bisimulations Up to Congruence Filippo Bonchi Damien Pous Sat 28 December 2013
Library Size: 13G (3 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
