@PhDThesis{Eva20,
author={Alexandros Evangelidis},
title={Verified Control and Estimation for Cloud Computing},
school={School of Computer Science, University of Birmingham},
year={2020},

type={},
address={},
month={},
note={},
key={}
}