Model Checking Unbounded Artifact-Centric Systems (2014)
Attributed to:
Trusted Autonomous Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract
Volume: N/A
Parent Publication: 14th International Conference on Principles of Knowledge Representation and Reasoning (KR14)