- Verification of timed systems Patricia Bouyer Tue 31 March 2026
- Polynomial interrupt timed automata: Verification and expressiveness B. Bérard S. Haddad C. Picaronny M. Safey El Din M. Sassolas Thu 29 April 2021
Library Size: 13G (2 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
