W Andrich, B Daniotti, A Pavan, C Mirarchi - BUILDINGS, 2022 - re.public.polimi.it
Abstract Model checking of building information models is gaining interest for academic and
industrial fields. However, several limitations can be identified in the practical application of …