Majumdar, Rupak Group R.Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2014). Edit Distance for Timed Automata. In HSCC'14 (pp. 302-312). New York, NY: ACM. doi:10.1145/2562059.2562141.