- Timed Shuffle Expressions Catalin Dima Tue 08 October 2013
- The Impressive Power of Stopwatches Franck Cassez Kim Guldstrand Larsen Thu 18 April 2013
- What's Decidable about Hybrid Automata Thomas A. Henzinger Peter W. Kopke Anuj Puri Pravin Varaiya Wed 17 April 2013
- On Sampled Semantics of Timed Systems Pavel Krčál Radek Pelánek Tue 25 September 2012
Library Size: 13G (4 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
