Maria Manuela Marques, Dag Belsnes, Malachy Murphy. Formalisation Based on Understanding. In Richard L. Tenney, Paul D. Amer, M. Ümit Uyar, editors, Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE 93, Boston, MA, USA, 26-29 October 1993. Volume C-22 of IFIP Transactions, pages 417-432, North-Holland, 1993.
@inproceedings{MarquesBM93,
title = {Formalisation Based on Understanding},
author = {Maria Manuela Marques and Dag Belsnes and Malachy Murphy},
year = {1993},
tags = {rule-based},
researchr = {https://researchr.org/publication/MarquesBM93},
cites = {0},
citedby = {0},
pages = {417-432},
booktitle = {Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE 93, Boston, MA, USA, 26-29 October 1993},
editor = {Richard L. Tenney and Paul D. Amer and M. Ümit Uyar},
volume = {C-22},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-81773-5},
}