Dag Belsnes
AuthID: R-006-MPZ
1
TÃTULO: Formalisation based on understanding
AUTORES: Maria Manuela Marques; Dag Belsnes; Malachy Murphy;
PUBLICAÇÃO: 1994, FONTE: Proceedings of the IFIP TC6/WG6.1 6th International Conference on Formal Description Techniques-FORTE'93 in IFIP Transactions C: Communication Systems, NÚMERO: C-22
AUTORES: Maria Manuela Marques; Dag Belsnes; Malachy Murphy;
PUBLICAÇÃO: 1994, FONTE: Proceedings of the IFIP TC6/WG6.1 6th International Conference on Formal Description Techniques-FORTE'93 in IFIP Transactions C: Communication Systems, NÚMERO: C-22
INDEXADO EM: 
Scopus
Scopus