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]
No references recorded for this publication.
No citations of this publication recorded.