%0 Journal Article %1 journals/ijait/ChenTB93 %A Chen, Horng-Yuan %A Tsai, Jeffrey J. P. %A Bi, Yao-Dong %D 1993 %J Int. J. Artif. Intell. Tools %K dblp %N 1 %P 71-92 %T An Event-Based Real-Time Logic for the Specification and Analysis of Real-Time Systems. %U http://dblp.uni-trier.de/db/journals/ijait/ijait2.html#ChenTB93 %V 2

@article{journals/ijait/ChenTB93, added-at = {2020-05-12T00:00:00.000+0200}, author = {Chen, Horng-Yuan and Tsai, Jeffrey J. P. and Bi, Yao-Dong}, biburl = {https://www.bibsonomy.org/bibtex/28c3f0cebeac3e5095074f3a287ba7fc6/dblp}, ee = {https://doi.org/10.1142/S0218213093000060}, interhash = {5b13511d3529d932a39eefeaed264792}, intrahash = {8c3f0cebeac3e5095074f3a287ba7fc6}, journal = {Int. J. Artif. Intell. Tools}, keywords = {dblp}, number = 1, pages = {71-92}, timestamp = {2020-05-13T12:01:32.000+0200}, title = {An Event-Based Real-Time Logic for the Specification and Analysis of Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/journals/ijait/ijait2.html#ChenTB93}, volume = 2, year = 1993 }