Bob J. Wielinga, Hans Akkermans, Guus Schreiber. Validation and Verification of Knowledge Models. In Jesús Cardeñosa, Pedro Meseguer, editors, Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV 93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain. pages 29-50, Universidad Politécnica de Madrid, 1993.
@inproceedings{WielingaAS93,
title = {Validation and Verification of Knowledge Models},
author = {Bob J. Wielinga and Hans Akkermans and Guus Schreiber},
year = {1993},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/WielingaAS93},
cites = {0},
citedby = {0},
pages = {29-50},
booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV 93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain},
editor = {Jesús Cardeñosa and Pedro Meseguer},
publisher = {Universidad Politécnica de Madrid},
isbn = {84-604-5817-2},
}