Ji Wang, Huowang Chen. Temporal Reasoning About Real Time Reactive Systems. In Zhongshi Shi, editor, Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992. Volume A-19 of IFIP Transactions, pages 249-256, North-Holland, 1992.
@inproceedings{WangC92:0,
title = {Temporal Reasoning About Real Time Reactive Systems},
author = {Ji Wang and Huowang Chen},
year = {1992},
researchr = {https://researchr.org/publication/WangC92%3A0},
cites = {0},
citedby = {0},
pages = {249-256},
booktitle = {Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992},
editor = {Zhongshi Shi},
volume = {A-19},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-89876-X},
}