Jaime Arsénio de Brito Ramos


AuthID: R-000-6GW

Publicações Confirmadas: 11



11
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
Página 2 de 2. Total de resultados: 11.

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