Deriving Liveness Goals from Temporal Logic Specifications

Carlos Caleiro, Gunter Saake, Amílcar Sernadas. Deriving Liveness Goals from Temporal Logic Specifications. Journal of Symbolic Computation, 22(5/6):521-553, 1996.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.