Exportar Publicação

A publicação pode ser exportada nos seguintes formatos: referência da APA (American Psychological Association), referência do IEEE (Institute of Electrical and Electronics Engineers), BibTeX e RIS.

Exportar Referência (APA) 
Ruivo, C., Morais, Franklim, Flores, Joaquim de Moura & Vaz, J. V. (2023). Integrating Formal Methodologies in a Multi-Layered Analysis for Management Policies for the Pedestrian Use of Public Space. In Formal Methods in Architecture - proceedings of the 6th International Symposium on Formal Methods in Architecture. (pp. 115-143).: Springer Nature Singapore.
Exportar Referência (IEEE) 
C. R. Pereira et al.,  "Integrating Formal Methodologies in a Multi-Layered Analysis for Management Policies for the Pedestrian Use of Public Space", in Formal Methods in Architecture - proceedings of the 6th Int. Symp. on Formal Methods in Architecture, Springer Nature Singapore, 2023, pp. 115-143
Exportar BibTeX 
@incollection{pereira2023_1783714609300,
	author = "Ruivo, C. and Morais, Franklim and Flores, Joaquim de Moura and Vaz, J. V.",
	title = "Integrating Formal Methodologies in a Multi-Layered Analysis for Management Policies for the Pedestrian Use of Public Space",
	chapter = "",
	booktitle = "Formal Methods in Architecture - proceedings of the 6th International Symposium on Formal Methods in Architecture",
	year = "2023",
	volume = "",
	series = "",
	edition = "",
	pages = "115-115",
	publisher = "Springer Nature Singapore",
	address = "",
	url = "http://dx.doi.org/10.1007/978-981-99-2217-8_9"
}
Exportar RIS 
TY  - CHAP
TI  - Integrating Formal Methodologies in a Multi-Layered Analysis for Management Policies for the Pedestrian Use of Public Space
T2  - Formal Methods in Architecture - proceedings of the 6th International Symposium on Formal Methods in Architecture
AU  - Ruivo, C.
AU  - Morais, Franklim
AU  - Flores, Joaquim de Moura
AU  - Vaz, J. V.
PY  - 2023
SP  - 115-143
UR  - http://dx.doi.org/10.1007/978-981-99-2217-8_9
ER  -