@misc{6a61e8d72d414eb4afbb03b0cd611031,
title = "Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis",
author = "Zhengkui Zhang",
note = "PhD supervisor: Prof. Kim Guldstand Larsen, Aalborg University, Denmark Assistant PhD supervisor: Assoc. Prof. Brian Nilsen, Aalborg University, Denmark",
year = "2016",
doi = "10.5278/vbn.phd.engsci.00085",
language = "English",
series = "Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet",
publisher = "Aalborg Universitetsforlag",
}