Efficient Analysis and Synthesis of Complex Quantitative Systems

Research output: PhD thesis

579 Downloads (Pure)
Original languageEnglish
Supervisors
  • Larsen, Kim Guldstrand, Principal supervisor
  • Srba, Jiri, Co-supervisor
Publisher
Electronic ISBNs978-87-7210-178-1
DOIs
Publication statusPublished - 2018

Bibliographical note

PhD supervisor:
Prof. Kim Guldstrand Larsen, Aalborg University

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

Cite this