Original language | English |
---|---|
Title of host publication | Formal Methods in Architecture and Urbanism |
Subtitle of host publication | Volume 2 |
Editors | Catarina Ruivo, David Leite Viana, Franklim Morais, Jorge Vieira Vaz |
Place of Publication | Newcastle |
Publisher | Cambridge Scholar Publishing |
Chapter | 17 |
Pages | 283-297 |
Number of pages | 14 |
ISBN (Print) | 978-1-5275-7446-5 |
Publication status | Published - 2022 |
Architecture and the City
S. Komossa, O. Caso*, R. Cavallo*, E.H. Gramsbergen, N. Marzot
*Corresponding author for this work
Research output: Chapter in Book/Conference proceedings/Edited volume › Chapter › Scientific › peer-review