论文信息 - Temporal Logic of Programs - 字舞流文

Temporal Logic of Programs

Fred Kröger | F. Kröger

[1] A. Prasad Sistla,et al. A Multiprocess Network Logic with Temporal and Spatial Modalities , 1982, J. Comput. Syst. Sci..

[2] P. M. Melliar-Smith,et al. From State Machines to Temporal Logic: Specification Methods for Protocol Standards , 1982, The Analysis of Concurrent Systems.

[3] P. M. Melliar-Smith,et al. Interval Logic: A Higher-Level Temporal Logic for Protocol Specification , 1983, Protocol Specification, Testing, and Verification.