Edit Distance for Timed Automata

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Majumdar, Rupak
(2014) Edit Distance for Timed Automata.
In: Proc. of the 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014).
Conference: None | Not Set

Full text not available from this repository.


Actions (login required)

View Item View Item