Verifying Context-Dependent Reduction Relations for Knowledge Specifications.
Alexei Sharpanskykh, Jan Treur
VenueBICAART
Year2009
ProceedingsICAART (Revised Selected Papers)
DBLP recordconf/icaart/SharpanskykhT09a ↗
Browse the full ICAART paper archive.