Global Verification of Knowledge Based Systems via Local Verification of Partitions.

Mysore Ramaswamy Sumit Sarkar Global Verification of Knowledge Based Systems via Local Verification of Partitions. 145-154 1997 conf/eurovav/1997 EUROVAV db/conf/eurovav/eurovav1997.html#RamaswamyS97