Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.

Journal

International Journal of Software Engineering and Knowledge Engineering

Journal Volume

9

Journal Issue

2

Pages

233-249

Date Issued

1999

Author(s)

Yang, Stephen J. H.

Chu, William C.

DOI

URI

URL

Type

journal article