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) 
Morais, F., Viana, D. L. & Vaz, J. V. (2018). Introduction: formal methods in architecture and urbanism. In Formal methods in architecture and urbanism. (pp. 1-10). Newcastle upon Tyne: Cambridge Scholars Publishing.
Exportar Referência (IEEE) 
F. Morais et al.,  "Introduction: formal methods in architecture and urbanism", in Formal methods in architecture and urbanism, Newcastle upon Tyne, Cambridge Scholars Publishing, 2018, pp. 1-10
Exportar BibTeX 
@incollection{morais2018_1722429136707,
	author = "Morais, F. and Viana, D. L. and Vaz, J. V.",
	title = "Introduction: formal methods in architecture and urbanism",
	chapter = "",
	booktitle = "Formal methods in architecture and urbanism",
	year = "2018",
	volume = "",
	series = "",
	edition = "",
	pages = "1-1",
	publisher = "Cambridge Scholars Publishing",
	address = "Newcastle upon Tyne"
}
Exportar RIS 
TY  - CHAP
TI  - Introduction: formal methods in architecture and urbanism
T2  - Formal methods in architecture and urbanism
AU  - Morais, F.
AU  - Viana, D. L.
AU  - Vaz, J. V.
PY  - 2018
SP  - 1-10
CY  - Newcastle upon Tyne
ER  -