Merkliste 
 1 Ergebnisse 
 
1

Towards Digital Twins for Knowledge-Driven Construction Pro..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends; Lecture Notes in Computer Science,