- Polynomial interrupt timed automata: Verification and expressiveness B. Bérard S. Haddad C. Picaronny M. Safey El Din M. Sassolas Thu 29 April 2021
- When Can We Detect That a P-Finite Sequence is Positive Manuel Kauers Veronika Pillwein Sun 11 October 2020
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
