TY  JOUR
TI  Algorithms for automated verification of BIM models' compliance with regulatory requirements: computational complexity, cost-effectiveness of development, and design risk reduction
KW  BIM
KW  automated verification
KW  verification algorithms
KW  computational complexity
KW  cost efficiency
KW  regulatory compliance
JO  Construction and Architecture
AU  Borozdina, S.M.
AU  Edlenko, V.P.
PY  2026
IS  14
PB  Publishing Center RIOR