%0 Conference Paper %1 conf/hybrid/ChatterjeeIM14 %A Chatterjee, Krishnendu %A Ibsen-Jensen, Rasmus %A Majumdar, Rupak %B HSCC %D 2014 %E Fränzle, Martin %E Lygeros, John %I ACM %K dblp %P 303-312 %T Edit distance for timed automata. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2014.html#ChatterjeeIM14 %@ 978-1-4503-2732-9

@inproceedings{conf/hybrid/ChatterjeeIM14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Majumdar, Rupak}, biburl = {https://www.bibsonomy.org/bibtex/27405aba1a9b7aa43ecf881d7a671e1d1/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2014}, editor = {Fränzle, Martin and Lygeros, John}, ee = {https://doi.org/10.1145/2562059.2562141}, interhash = {b03eda18c587612f2265544f0a8ee24c}, intrahash = {7405aba1a9b7aa43ecf881d7a671e1d1}, isbn = {978-1-4503-2732-9}, keywords = {dblp}, pages = {303-312}, publisher = {ACM}, timestamp = {2018-11-07T16:04:07.000+0100}, title = {Edit distance for timed automata.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2014.html#ChatterjeeIM14}, year = 2014 }