%0 Conference Paper %1 conf/concur/GuhaNA14 %A Guha, Shibashis %A Narayan, Chinmay %A Arun-Kumar, S. %B CONCUR %D 2014 %E Baldan, Paolo %E Gorla, Daniele %I Springer %K dblp %P 527-543 %T Reducing Clocks in Timed Automata while Preserving Bisimulation. %U http://dblp.uni-trier.de/db/conf/concur/concur2014.html#GuhaNA14 %V 8704 %@ 978-3-662-44583-9

@inproceedings{conf/concur/GuhaNA14, added-at = {2020-11-10T00:00:00.000+0100}, author = {Guha, Shibashis and Narayan, Chinmay and Arun-Kumar, S.}, biburl = {https://www.bibsonomy.org/bibtex/2d4b6dc31450c41d6a647572f4f55a104/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2014}, editor = {Baldan, Paolo and Gorla, Daniele}, ee = {https://doi.org/10.1007/978-3-662-44584-6_36}, interhash = {a697ea6289cfd8435da11ce0bac119e5}, intrahash = {d4b6dc31450c41d6a647572f4f55a104}, isbn = {978-3-662-44583-9}, keywords = {dblp}, pages = {527-543}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-11T11:41:28.000+0100}, title = {Reducing Clocks in Timed Automata while Preserving Bisimulation.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2014.html#GuhaNA14}, volume = 8704, year = 2014 }