Deriving Liveness Goals from Temporal Logic Specifications (1996)

Cached

Download Links

by C. Caleiro , G. Saake , A. Sernadas
Venue:Journal of Symbolic Computation
Citations:2 - 1 self