%0 Journal Article %1 journals/jcst/ZhaoH00 %A Zhao, Jianhua %A Hung, Dang Van %D 2000 %J J. Comput. Sci. Technol. %K dblp %N 5 %P 423-429 %T Checking Timed Automata for Linear Duration Properties. %U http://dblp.uni-trier.de/db/journals/jcst/jcst15.html#ZhaoH00 %V 15

@article{journals/jcst/ZhaoH00, added-at = {2011-05-17T00:00:00.000+0200}, author = {Zhao, Jianhua and Hung, Dang Van}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20c3daf409054e575758f066a83382e44/dblp}, ee = {http://dx.doi.org/10.1007/BF02950405}, interhash = {da95470d2e339409c831185af6bf2472}, intrahash = {0c3daf409054e575758f066a83382e44}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 5, pages = {423-429}, timestamp = {2016-02-02T01:23:50.000+0100}, title = {Checking Timed Automata for Linear Duration Properties.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst15.html#ZhaoH00}, volume = 15, year = 2000 }