共 50 条
- [21] Predicate Abstraction for Linked Data Structures VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2016, 2016, 9583 : 65 - 84
- [26] Conceptual Model of Building Information Modelling Usage for Knowledge Management in Construction Projects 3RD WORLD MULTIDISCIPLINARY CIVIL ENGINEERING, ARCHITECTURE, URBAN PLANNING SYMPOSIUM (WMCAUS 2018), 2019, 471
- [27] A General Approach for Modelling Warehouse Facility TRANSPORT MEANS 2017, PTS I-III, 2017, : 928 - 934