| Paper title: | Development of BIM-based model checking solutions - ongoing research and practitioners' demand |
| Authors: | E Hjelseth, A K Lassen, J Dimyadi |
| Summary: | |
| Type: | conference paper |
| Year of publication: | 2016 |
| Series: | w78:2016 |
| ISSN: | 2706-6568 |
| Download paper: | /pdfs/w78-2016-paper-018.pdf |
| Citation: | E Hjelseth, A K Lassen, J Dimyadi (2016). Development of BIM-based model checking solutions - ongoing research and practitioners' demand. Proceedings of the 33rd International Conference of CIB W78, Brisbane, Australia, 31 October - 2 November (ISSN: 2706-6568), http://itc.scix.net/paper/w78-2016-paper-018 |