Book chapter
Integrating Formal Methodologies in a Multi-Layered Analysis for Management Policies for the Pedestrian Use of Public Space
Catarina Ruivo (Ruivo, C.); Morais, Franklim (Morais, Franklim); Flores, Joaquim de Moura (Flores, Joaquim de Moura); Jorge Vieira Vaz (Vaz, J. V.);
Book Title
Formal Methods in Architecture - proceedings of the 6th International Symposium on Formal Methods in Architecture
Year (definitive publication)
2023
Language
English
Country
--
More Information
Visit Link
Web of Science®

Times Cited: 0

(Last checked: 2026-07-08 10:50)

View record in Web of Science®

Scopus

This publication is not indexed in Scopus

Google Scholar

Times Cited: 0

(Last checked: 2026-07-05 09:12)

View record in Google Scholar

Overton

This publication is not indexed in Overton

Abstract
--
Acknowledgements
--
Keywords
Publication Identifiers
cv-prod-id-3480973
WOS:001753557500009
ci-pub-97355
Other Publication Details
2023
Springer Nature Singapore
Web of Science©;
--
978-981-99-2216-1 (print)
978-981-99-2217-8 (online)
115 - 143 --
--
Yes
Both (printed and digital)