共 50 条
- [31] Term consistency checking of ontology model based on description logics KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2007, 4798 : 496 - +
- [32] Modelling and model checking a distributed shared memory consistency protocol APPLICATION AND THEORY OF PETRI NETS 1998, 1998, 1420 : 84 - 103
- [34] A general model checking framework for various memory consistency models International Journal on Software Tools for Technology Transfer, 2017, 19 : 623 - 647
- [35] A General Model Checking Framework for Various Memory Consistency Models PROCEEDINGS OF 2014 IEEE INTERNATIONAL PARALLEL & DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2014, : 332 - 341
- [36] Semantic-assisted CityGML model consistency checking method Cehui Xuebao/Acta Geodaetica et Cartographica Sinica, 2021, 50 (05): : 664 - 674
- [37] A model for checking consistency in access control policies for network management 2007 10TH IFIP/IEEE INTERNATIONAL SYMPOSIUM ON INTEGRATED NETWORK MANAGEMENT (IM 2009), VOLS 1 AND 2, 2007, : 11 - +
- [40] CONSISTENCY CHECKING IN HYPOTHESIS GENERATION ORGANIZATIONAL BEHAVIOR AND HUMAN PERFORMANCE, 1983, 31 (02): : 233 - 254