%0 Conference Paper %1 conf/forte/YanLZP07 %A Yan, Rongjie %A Li, Guangyuan %A Zhang, Wenliang %A Peng, Yunquan %B FORTE %D 2007 %E Derrick, John %E Vain, Jüri %I Springer %K dblp %P 196-210 %T Improvements for the Symbolic Verification of Timed Automata. %U http://dblp.uni-trier.de/db/conf/forte/forte2007.html#YanLZP07 %V 4574 %@ 978-3-540-73195-5

@inproceedings{conf/forte/YanLZP07, added-at = {2018-06-26T00:00:00.000+0200}, author = {Yan, Rongjie and Li, Guangyuan and Zhang, Wenliang and Peng, Yunquan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2aa4ced241290d91dfbf39822bb484850/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2007}, editor = {Derrick, John and Vain, Jüri}, ee = {https://doi.org/10.1007/978-3-540-73196-2_13}, interhash = {6b64ce9c4dfa269353ae4a72f212cb68}, intrahash = {aa4ced241290d91dfbf39822bb484850}, isbn = {978-3-540-73195-5}, keywords = {dblp}, pages = {196-210}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:33:01.000+0200}, title = {Improvements for the Symbolic Verification of Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2007.html#YanLZP07}, volume = 4574, year = 2007 }