Process Semantics of Temporal Logic Specification (1991)

Cached

Download Links

by J.L. Fiadeiro , J.F. Costa , A. Sernadas , T.S.E. Maibaum
Citations:10 - 3 self