Quantitative Verification and Synthesis of Resilient Networks

Research output: PhD thesis

204 Downloads (Pure)

Original language	English
Supervisors	Srba, Jiri, Principal supervisor
Publisher	Aalborg Universitetsforlag
Electronic ISBNs	978-87-7573-659-1
DOIs	https://doi.org/10.54337/aau588616986
Publication status	Published - 2023

Access to Document

@misc{a96aef431a22436992b68575c603433f,

title = "Quantitative Verification and Synthesis of Resilient Networks",

author = "Schou, {Morten Konggaard}",

year = "2023",

doi = "10.54337/aau588616986",

language = "English",

series = "Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet",

publisher = "Aalborg Universitetsforlag",

}