Efficient Analysis and Synthesis of Complex Quantitative Systems

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

110 Downloads (Pure)
OriginalsprogEngelsk
ForlagAalborg Universitetsforlag
Antal sider227
ISBN (Elektronisk)978-87-7210-178-1
DOI
StatusUdgivet - 2018
NavnPh.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet
ISSN2446-1628

Citer dette

Jensen, P. G. (2018). Efficient Analysis and Synthesis of Complex Quantitative Systems. Aalborg Universitetsforlag. Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet https://doi.org/10.5278/vbn.phd.tech.00043
Jensen, Peter Gjøl. / Efficient Analysis and Synthesis of Complex Quantitative Systems. Aalborg Universitetsforlag, 2018. 227 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).
@phdthesis{31351542c810493cad578857ac47902f,
title = "Efficient Analysis and Synthesis of Complex Quantitative Systems",
author = "Jensen, {Peter Gj{\o}l}",
note = "PhD supervisor: Prof. Kim Guldstrand Larsen, Aalborg University Assistant PhD supervisor: Assoc. Prof. Jiř{\'i} Srba, Aalborg University",
year = "2018",
doi = "10.5278/vbn.phd.tech.00043",
language = "English",
publisher = "Aalborg Universitetsforlag",

}

Jensen, PG 2018, Efficient Analysis and Synthesis of Complex Quantitative Systems. Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet, Aalborg Universitetsforlag. https://doi.org/10.5278/vbn.phd.tech.00043

Efficient Analysis and Synthesis of Complex Quantitative Systems. / Jensen, Peter Gjøl.

Aalborg Universitetsforlag, 2018. 227 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

TY - BOOK

T1 - Efficient Analysis and Synthesis of Complex Quantitative Systems

AU - Jensen, Peter Gjøl

N1 - PhD supervisor: Prof. Kim Guldstrand Larsen, Aalborg University Assistant PhD supervisor: Assoc. Prof. Jiří Srba, Aalborg University

PY - 2018

Y1 - 2018

U2 - 10.5278/vbn.phd.tech.00043

DO - 10.5278/vbn.phd.tech.00043

M3 - Ph.D. thesis

BT - Efficient Analysis and Synthesis of Complex Quantitative Systems

PB - Aalborg Universitetsforlag

ER -

Jensen PG. Efficient Analysis and Synthesis of Complex Quantitative Systems. Aalborg Universitetsforlag, 2018. 227 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet). https://doi.org/10.5278/vbn.phd.tech.00043