%0 Conference Proceedings %1 conf/eurovav/1995 %B EUROVAV %D 1995 %E Ayel, Marc %E Rousset, Marie-Christine %I ADERIAS-LIA, Universite de Savoie %K dblp %T Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, June 1995 %U http://dblp.uni-trier.de/db/conf/eurovav/eurovav1995.html

@proceedings{conf/eurovav/1995, added-at = {2002-01-03T00:00:00.000+0100}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e5a6cc8056003ea785a0e38a1a3811c3/dblp}, booktitle = {EUROVAV}, editor = {Ayel, Marc and Rousset, Marie-Christine}, interhash = {e5cbb8ec80af5f18efa045e7934ce0b6}, intrahash = {e5a6cc8056003ea785a0e38a1a3811c3}, keywords = {dblp}, publisher = {ADERIAS-LIA, Universite de Savoie}, timestamp = {2016-02-02T11:08:57.000+0100}, title = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, June 1995}, url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1995.html}, year = 1995 }