- Language equivalence of probabilistic pushdown automata Vojtěch Forejt Petr Jančar Stefan Kiefer James Worrell Tue 12 June 2018
- The Expressive Power of Time Petri Nets B. Bérard F. Cassez S. Haddad D. Lime O. H. Roux Thu 24 May 2018
- Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests Damien Pous Thu 07 January 2016
- Checking NFA Equivalence with Bisimulations Up to Congruence Filippo Bonchi Damien Pous Sat 28 December 2013
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
