- Modeling and Verification of Time Dependent Systems Using Time Petri Nets Bernard Berthomieu Michel Diaz Thu 16 January 2014
- Relating word and tree automata O. Kupferman S. Safra M. Y. Vardi Fri 12 July 2013
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
