%0 Conference Paper %1 conf/eurovav/VanthienenAMW95 %A Vanthienen, Jan %A Aerts, Ann %A Mues, Christophe %A Wets, Geert %B EUROVAV %D 1995 %E Ayel, Marc %E Rousset, Marie-Christine %I ADERIAS-LIA, Universite de Savoie %K dblp %P 155-171 %T A Modeling Approach to KBS Verification. %U http://dblp.uni-trier.de/db/conf/eurovav/eurovav1995.html#VanthienenAMW95

@inproceedings{conf/eurovav/VanthienenAMW95, added-at = {2002-01-03T00:00:00.000+0100}, author = {Vanthienen, Jan and Aerts, Ann and Mues, Christophe and Wets, Geert}, biburl = {https://www.bibsonomy.org/bibtex/261e9a15d58ee07b0af80ea88f99f7d11/dblp}, booktitle = {EUROVAV}, crossref = {conf/eurovav/1995}, editor = {Ayel, Marc and Rousset, Marie-Christine}, interhash = {1442326d8af5c5a84f14a21340acd101}, intrahash = {61e9a15d58ee07b0af80ea88f99f7d11}, keywords = {dblp}, pages = {155-171}, publisher = {ADERIAS-LIA, Universite de Savoie}, timestamp = {2018-06-20T11:38:19.000+0200}, title = {A Modeling Approach to KBS Verification.}, url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1995.html#VanthienenAMW95}, year = 1995 }