Horng-Yuan Chen, Jeffrey J. P. Tsai, Yao-Dong Bi. An event-based real-time logic to specify the behavior and timing properties of real-time systems. In Third International Conference on Tools for Artificial Intelligence, TAI '91, San Jose, CA, USA, November 10-13, 1991. pages 210-219, IEEE, 1991. [doi]
@inproceedings{ChenTB91,
title = {An event-based real-time logic to specify the behavior and timing properties of real-time systems},
author = {Horng-Yuan Chen and Jeffrey J. P. Tsai and Yao-Dong Bi},
year = {1991},
doi = {10.1109/TAI.1991.167097},
url = {http://dx.doi.org/10.1109/TAI.1991.167097},
researchr = {https://researchr.org/publication/ChenTB91},
cites = {0},
citedby = {0},
pages = {210-219},
booktitle = {Third International Conference on Tools for Artificial Intelligence, TAI '91, San Jose, CA, USA, November 10-13, 1991},
publisher = {IEEE},
isbn = {0-8186-2300-4},
}