TY - CONF AU - Dieckmann, Andreas AU - Russell, Peter TI - The Truth Is In The Model : Utilizing Model Checking to Rate Learning Success in BIM Software Courses CY - Northumbria PB - eCAADe M1 - RWTH-2015-01183 SP - 417-426 PY - 2014 T2 - 32. eCAADe Conference CY - 10 Sep 2014 - 12 Sep 2014, Newcastle upon Tyne (UK) Y2 - 10 Sep 2014 - 12 Sep 2014 M2 - Newcastle upon Tyne, UK LB - PUB:(DE-HGF)8 ; PUB:(DE-HGF)7 UR - https://publications.rwth-aachen.de/record/464000 ER -