论文信息 - Examples of a Real-Time Temporal Logic Specification - 字舞流文

Examples of a Real-Time Temporal Logic Specification

Willem P. de Roever | Ron Koymans | R. Koymans | W. P. Roever | W. D. Roever

[1] Willem P. de Roever,et al. Real-time programming and asynchronous message passing , 1983, PODC '83.

[2] P. M. Melliar-Smith,et al. Temporal Logic Specification of Distributed Systems , 1981, ICDCS.