Carlos Caleiro, Gunter Saake, AmÃlcar Sernadas. Deriving Liveness Goals from Temporal Logic Specifications. Journal of Symbolic Computation, 22(5/6):521-553, 1996.
No references recorded for this publication.
No citations of this publication recorded.