Model Checking Unbounded Artifact-Centric Systems (2014)

First Author: Lomuscio A
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)