%0 Conference Paper %A Dieckmann, Andreas %A Russell, Peter %T The Truth Is In The Model : Utilizing Model Checking to Rate Learning Success in BIM Software Courses %C Northumbria %I eCAADe %M RWTH-2015-01183 %P 417-426 %D 2014 %< Fusion - Proceedings of the 32nd eCAADe Conference ; Newcastle upon Tyne, England, UK, 10-12 September 2014 / Emine Mine Thompson (ed.). - Vol. 2 %B 32. eCAADe Conference %C 10 Sep 2014 - 12 Sep 2014, Newcastle upon Tyne (UK) Y2 10 Sep 2014 - 12 Sep 2014 M2 Newcastle upon Tyne, UK %F PUB:(DE-HGF)8 ; PUB:(DE-HGF)7 %9 Contribution to a conference proceedingsContribution to a book %U https://publications.rwth-aachen.de/record/464000