Jose Manuel Cunha Leal Molarinho Carmo


AuthID: R-000-8HQ

Publicações Confirmadas: 12



11
TÍTULO: FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION  Full Text
AUTORES: CARMO, J ; SERNADAS, A ;
PUBLICAÇÃO: 1991, FONTE: INFORMATION SYSTEMS, VOLUME: 16, NÚMERO: 3
INDEXADO EM: Scopus WOS
12
TÍTULO: Branching versus linear logics yet again
AUTORES: Carmo, J ; Sernadas, A ;
PUBLICAÇÃO: 1990, FONTE: Formal Aspects of Computing, VOLUME: 2, NÚMERO: 1
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID
Página 2 de 2. Total de resultados: 12.

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