- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages Bartek Klin Sławomir Lasota Szymon Toruńczyk Tue 06 April 2021
- A Game Approach to Determinize Timed Automata Nathalie Bertrand Amélie Stainer Thierry Jéron Moez Krichen Tue 13 March 2012
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
