共 50 条
- [8] Building Structured Theories [J]. RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2011, 6663 : 1 - 21
- [10] Scenarios for Maintenance and Building Decommissioning in the Building's Life Cycle [J]. INTERNATIONAL SCIENTIFIC CONFERENCE PEOPLE, BUILDINGS AND ENVIRONMENT 2018 (PBE), 2019, 222