| 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 Scholars 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