Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}