Efficient Analysis and Synthesis of Complex Quantitative Systems

Research output: Book/ReportPh.D. thesisResearch

199 Downloads (Pure)
Original languageEnglish
PublisherAalborg Universitetsforlag
Number of pages227
ISBN (Electronic)978-87-7210-178-1
DOIs
Publication statusPublished - 2018
SeriesPh.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet
ISSN2446-1628

Bibliographical note

PhD supervisor:
Prof. Kim Guldstrand Larsen, Aalborg University

Assistant PhD supervisor:
Assoc. Prof. Jiří Srba, Aalborg University

Cite this

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 p. (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",
series = "Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet",
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 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

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

T3 - Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet

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 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet). https://doi.org/10.5278/vbn.phd.tech.00043