arXiv 2012-11-27 EN Time-Darts: A Data Structure for Verification of Closed Timed Automata Jørgensen, Kenneth Y. · Larsen, Kim G. · Srba, Jiří
arXiv 2012-11-27 EN A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets David, Alexandre · Jacobsen, Lasse · Jacobsen, Morten · Srba, Jiří
