G. Saake


AuthID: R-006-KPN

Publicações a aguardarem confirmação

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: Scopus WOS
2
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
3
TITLE: Deriving Liveness Goals from Temporal Logic Specifications
AUTHORS: Carlos Caleiro; Gunter Saake; Amílcar Sernadas;
PUBLISHED: 1996, SOURCE: J. Symb. Comput., VOLUME: 22, ISSUE: 5/6
INDEXED IN: DBLP

Um espaço para investigadores e suas instituições

Useful Links

Get Help

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