Stephen J. H. Yang, William C. Chu, Jonathan Lee. Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic. International Journal of Software Engineering and Knowledge Engineering, 9(2):233-250, 1999. [doi]
@article{YangCL99,
title = {Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic},
author = {Stephen J. H. Yang and William C. Chu and Jonathan Lee},
year = {1999},
doi = {10.1142/S0218194099000152},
url = {http://dx.doi.org/10.1142/S0218194099000152},
tags = {C++, logic},
researchr = {https://researchr.org/publication/YangCL99},
cites = {0},
citedby = {0},
journal = {International Journal of Software Engineering and Knowledge Engineering},
volume = {9},
number = {2},
pages = {233-250},
}