- On Sampled Semantics of Timed Systems Pavel Krčál Radek Pelánek Tue 25 September 2012
- Infinite Structures in Timed Systems Pavel Krcal Mon 05 March 2012
- Communicating timed automata: the more synchronous, the more difficult to verify Pavel Krcal Wang Yi Mon 05 March 2012
Library Size: 13G (3 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
