Merkliste 
 1 Ergebnisse 
 
1

Actors@BIM: A Hybrid Formal Model for Cognitive Buildings:

, In: Formal Methods in Architecture; Digital Innovations in Architecture, Engineering and Construction,
Raj, P. Govind ; Kar, Subrat - p. 453-477 , 2023