Elisabete Maria da Silva Raposo Freire


AuthID: R-000-4H8

Publicações a aguardar confirmação

1
TÍTULO: Defining Behaviours by Quasi-finality  Full Text
AUTORES: Elisabete Freire; Luis Monteiro ;
PUBLICAÇÃO: 2009, FONTE: 12th Brazilian Symposium on Formal Methods in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, VOLUME: 5902
INDEXADO EM: Scopus WOS CrossRef

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