Dag Belsnes
AuthID: R-006-MPZ
1
TITLE: Formalisation based on understanding
AUTHORS: Maria Manuela Marques; Dag Belsnes; Malachy Murphy;
PUBLISHED: 1994, SOURCE: Proceedings of the IFIP TC6/WG6.1 6th International Conference on Formal Description Techniques-FORTE'93 in IFIP Transactions C: Communication Systems, ISSUE: C-22
AUTHORS: Maria Manuela Marques; Dag Belsnes; Malachy Murphy;
PUBLISHED: 1994, SOURCE: Proceedings of the IFIP TC6/WG6.1 6th International Conference on Formal Description Techniques-FORTE'93 in IFIP Transactions C: Communication Systems, ISSUE: C-22
INDEXED IN: 
Scopus
Scopus