Model Checking Ontology‐driven Reasoning Agents Using Strategy and Abstraction
Concurrency Computation Practice and Experience - United Kingdom
doi 10.1002/cpe.5205
Full Text
Open PDFAbstract
Available in full text
Categories
Date
April 7, 2019
Authors
Publisher
Wiley