G. Saake


AuthID: R-006-KPN

Publications Requiring Validation

1
TITLE: Deriving Liveness Goals from Temporal Logic Specifications  Full Text
AUTHORS: CALEIRO, C ; SAAKE, G; SERNADAS, A;
PUBLISHED: 1996, SOURCE: Journal of Symbolic Computation, VOLUME: 22, ISSUE: 5-6
INDEXED IN: CrossRef

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service