共 50 条
- [1] Verification of Hierarchical Artifact Systems [J]. PODS'16: PROCEEDINGS OF THE 35TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS, 2016, : 179 - 194
- [2] Verification of Hierarchical Artifact Systems [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 2019, 44 (03):
- [3] Verification of Semantically-Enhanced Artifact Systems [J]. SERVICE-ORIENTED COMPUTING, ICSOC 2013, 2013, 8274 : 600 - 607
- [5] Verification of Agent-Based Artifact Systems [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2014, 51 : 333 - 376
- [7] Verification of Deployed Artifact Systems via Data Abstraction [J]. SERVICE-ORIENTED COMPUTING, 2011, 7084 : 142 - 156
- [8] Standard artifact for the geometric verification of terrestrial laser scanning systems [J]. OPTICS AND LASER TECHNOLOGY, 2011, 43 (07): : 1249 - 1256
- [10] Verification of Artifact-Centric Systems: Decidability and Modeling Issues [J]. SERVICE-ORIENTED COMPUTING, ICSOC 2013, 2013, 8274 : 252 - 266