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

Publikation: Ph.d.-afhandling

511 Downloads (Pure)

Originalsprog	Engelsk
Vejledere	Larsen, Kim Guldstrand, Hovedvejleder Srba, Jiri, Bivejleder
Udgiver	Aalborg Universitetsforlag
ISBN'er, elektronisk	978-87-7210-178-1
DOI	https://doi.org/10.5278/vbn.phd.tech.00043
Status	Udgivet - 2018

Bibliografisk note

PhD supervisor:
Prof. Kim Guldstrand Larsen, Aalborg University

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

Adgang til dokumentet

10.5278/vbn.phd.tech.00043

PHD_Peter_Gjoel_Jensen_E-pdfForlagets udgivne version, 5,04 MB

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@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 -