%0 Conference Paper %1 conf/eurovav/PhelpsAF93 %A Phelps, R. %A Aerts, W. %A Forêt, J.-M. %B EUROVAV %D 1993 %E Lera, Jesús Cardeñosa %E Meseguer, Pedro %I Universidad Politécnica de Madrid %K dblp %P 293-309 %T Improving Validation and Verification of KBSs through Naturally Comprehensible Flow Representations. %U http://dblp.uni-trier.de/db/conf/eurovav/eurovav1993.html#PhelpsAF93 %@ 84-604-5817-2

@inproceedings{conf/eurovav/PhelpsAF93, added-at = {2002-01-03T00:00:00.000+0100}, author = {Phelps, R. and Aerts, W. and Forêt, J.-M.}, biburl = {https://www.bibsonomy.org/bibtex/298cebbceb1b737802b067838c5648b1e/dblp}, booktitle = {EUROVAV}, crossref = {conf/eurovav/1993}, editor = {Lera, Jesús Cardeñosa and Meseguer, Pedro}, interhash = {b5c134426a93bd1ea386a73e90ef6c9b}, intrahash = {98cebbceb1b737802b067838c5648b1e}, isbn = {84-604-5817-2}, keywords = {dblp}, note = {Sponsored by: Commission of the European Communities, Comisión Interministral de Ciencia y Tecnología; Organized by: Universitat de les Illes Balears, Universidad Politécnica de Madrid, Institut d'Investigació en Intelligencia Artificial}, pages = {293-309}, publisher = {Universidad Politécnica de Madrid}, timestamp = {2020-11-17T11:35:57.000+0100}, title = {Improving Validation and Verification of KBSs through Naturally Comprehensible Flow Representations.}, url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1993.html#PhelpsAF93}, year = 1993 }