Edit distance for timed automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Rupak Majumdar. Edit distance for timed automata. In Martin Fränzle, John Lygeros, editors, 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014. pages 303-312, ACM, 2014. [doi]

This author has not been identified. Look up 'Krishnendu Chatterjee' in GoogleThis author has not been identified. Look up 'Rasmus Ibsen-Jensen' in GoogleThis author has not been identified. Look up 'Rupak Majumdar' in Google

runs on WebDSL