Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações a aguardar confirmação

11
TÍTULO: Deductive verification of MPI protocols
AUTORES: Vasco T Vasconcelos; Francisco Martins ; Eduardo R B Marques; Nobuko Yoshida; Nicholas Ng;
PUBLICAÇÃO: 2017, FONTE: Behavioural Types: from Theory to Tools English
INDEXADO EM: Scopus
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