Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: parent exact "Formal methods in architecture, proceedings of the 5th International Symposium on F... Add to list Conference Paper C1 open access LBD server : visualising building graphs in web-based environments using semantic graphs and glTF-models Andrew Malcolm, Jeroen Werbrouck (UGent) and Pieter Pauwels (UGent) (2021) Formal methods in architecture, proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA). In Advances in Science, Technology & Innovation p.287-293