Efficient Analysis and Synthesis of Complex Quantitative Systems

Peter Gjøl Jensen

doi:10.5278/vbn.phd.tech.00043

Efficient Analysis and Synthesis of Complex Quantitative Systems

Research output: PhD thesis

579 Downloads (Pure)

Original language	English
Supervisors	Larsen, Kim Guldstrand, Principal supervisor Srba, Jiri, Co-supervisor
Publisher	Aalborg Universitetsforlag
Electronic ISBNs	978-87-7210-178-1
DOIs	https://doi.org/10.5278/vbn.phd.tech.00043
Publication status	Published - 2018

Bibliographical note

PhD supervisor:
Prof. Kim Guldstrand Larsen, Aalborg University

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

Access to Document

10.5278/vbn.phd.tech.00043

PHD_Peter_Gjoel_Jensen_E-pdfFinal published version, 5.04 MB

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@misc{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{\v r}{\'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",

}

TY - GEN

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 - PhD thesis

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

PB - Aalborg Universitetsforlag

ER -