![]() |
@proceedings{DBLP:conf/eurovav/1997,
editor = {Jan Vanthienen and
Frank van Harmelen},
title = {Proceedings of the Fourth European Symposium on the Validation
and Verification of Knowledge-Based Systems, EUROVAV'97,
June 26-28, 1997, Katholieke Universiteit Leuven, Leuven,
Belgium},
booktitle = {EUROVAV},
publisher = {Katholieke Universiteit Leuven, Belgium},
year = {1997},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-01-03 by Michael Ley (ley@uni-trier.de)