%0 Conference Paper %1 conf/eurovav/TreurW95 %A Treur, Jan %A Willems, Mark %B EUROVAV %D 1995 %E Ayel, Marc %E Rousset, Marie-Christine %I ADERIAS-LIA, Universite de Savoie %K dblp %P 189-199 %T Formal Notions for Verification of Dynamics of Knowledge-Based Systems. %U http://dblp.uni-trier.de/db/conf/eurovav/eurovav1995.html#TreurW95

@inproceedings{conf/eurovav/TreurW95, added-at = {2002-01-03T00:00:00.000+0100}, author = {Treur, Jan and Willems, Mark}, biburl = {https://www.bibsonomy.org/bibtex/278004aa5ba2cc52c9661d552b981aa92/dblp}, booktitle = {EUROVAV}, crossref = {conf/eurovav/1995}, editor = {Ayel, Marc and Rousset, Marie-Christine}, interhash = {0ee38db709567f2e5ba8f15905ae9084}, intrahash = {78004aa5ba2cc52c9661d552b981aa92}, keywords = {dblp}, pages = {189-199}, publisher = {ADERIAS-LIA, Universite de Savoie}, timestamp = {2018-06-20T11:38:19.000+0200}, title = {Formal Notions for Verification of Dynamics of Knowledge-Based Systems.}, url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1995.html#TreurW95}, year = 1995 }