%0 Journal Article %1 journals/jcst/LiH02 %A Li, Yong %A Hung, Dang Van %D 2002 %J J. Comput. Sci. Technol. %K dblp %N 6 %P 689-698 %T Checking Temporal Duration Properties of Timed Automata. %U http://dblp.uni-trier.de/db/journals/jcst/jcst17.html#LiH02 %V 17

@article{journals/jcst/LiH02, added-at = {2011-05-17T00:00:00.000+0200}, author = {Li, Yong and Hung, Dang Van}, biburl = {https://www.bibsonomy.org/bibtex/226ec3583c7f079d5aab5c34f2079633d/dblp}, ee = {http://dx.doi.org/10.1007/BF02960759}, interhash = {d1450a8524f72de2a35ff623fa1df841}, intrahash = {26ec3583c7f079d5aab5c34f2079633d}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 6, pages = {689-698}, timestamp = {2011-05-18T11:32:51.000+0200}, title = {Checking Temporal Duration Properties of Timed Automata.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst17.html#LiH02}, volume = 17, year = 2002 }