Jaime Arsénio de Brito Ramos


AuthID: R-000-6GW

Publicações Confirmadas: 22



21
TÍTULO: The situation and state calculus versus branching temporal logic  Full Text
AUTORES: Ramos, J ; Sernadas, A ;
PUBLICAÇÃO: 1999, FONTE: 13th International Workshop on Algebraic Development Techiniques at the 1st European Joint Conferences on Theory and Practice of Software in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1589
INDEXADO EM: WOS
22
TÍTULO: A temporal logic approach to object certification  Full Text
AUTORES: Sernadas, A ; Sernadas, C ; Ramos, J ;
PUBLICAÇÃO: 1996, FONTE: DATA & KNOWLEDGE ENGINEERING, VOLUME: 19, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 3 de 3. Total de resultados: 22.

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

Links Úteis

Ajuda

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