Validation and Verification of Knowledge Models
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/eurovav/WielingaAS93,
author = {Bob J. Wielinga and
Hans Akkermans and
Guus Schreiber},
title = {Validation and Verification of Knowledge Models},
booktitle = {EUROVAV},
year = {1993},
pages = {29-50},
crossref = {DBLP:conf/eurovav/1993},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
