G. Saake


AuthID: R-006-KPN

Publicações a aguardar confirmação

1
TÍTULO: Deriving liveness goals from temporal logic specifications  Full Text
AUTORES: Caleiro, C ; Saake, G; Sernadas, A ;
PUBLICAÇÃO: 1996, FONTE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 22, NÚMERO: 5-6
INDEXADO EM: Scopus WOS
2
TÍTULO: Deriving Liveness Goals from Temporal Logic Specifications  Full Text
AUTORES: CALEIRO, C ; SAAKE, G; SERNADAS, A;
PUBLICAÇÃO: 1996, FONTE: Journal of Symbolic Computation, VOLUME: 22, NÚMERO: 5-6
INDEXADO EM: CrossRef
3
TÍTULO: Deriving Liveness Goals from Temporal Logic Specifications
AUTORES: Carlos Caleiro; Gunter Saake; Amílcar Sernadas;
PUBLICAÇÃO: 1996, FONTE: J. Symb. Comput., VOLUME: 22, NÚMERO: 5/6
INDEXADO EM: DBLP

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

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service