%0 Conference Paper %1 conf/eurovav/RamaswamyS97 %A Ramaswamy, Mysore %A Sarkar, Sumit %B EUROVAV %D 1997 %E Vanthienen, Jan %E van Harmelen, Frank %I Katholieke Universiteit Leuven, Belgium %K dblp %P 145-154 %T Global Verification of Knowledge Based Systems via Local Verification of Partitions. %U http://dblp.uni-trier.de/db/conf/eurovav/eurovav1997.html#RamaswamyS97

@inproceedings{conf/eurovav/RamaswamyS97, added-at = {2002-01-03T00:00:00.000+0100}, author = {Ramaswamy, Mysore and Sarkar, Sumit}, biburl = {https://www.bibsonomy.org/bibtex/2040dffbe33332a63c526fb02e293eeef/dblp}, booktitle = {EUROVAV}, crossref = {conf/eurovav/1997}, date = {2002-01-03}, description = {dblp}, editor = {Vanthienen, Jan and van Harmelen, Frank}, interhash = {6da2ece91ba6c991ac3af01e38a210a3}, intrahash = {040dffbe33332a63c526fb02e293eeef}, keywords = {dblp}, pages = {145-154}, publisher = {Katholieke Universiteit Leuven, Belgium}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Global Verification of Knowledge Based Systems via Local Verification of Partitions.}, url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1997.html#RamaswamyS97}, year = 1997 }