@doctoralThesis{Passing_2023,
title={Compositional synthesis of reactive systems},
author={Passing, Noemi Estrid},
doi={http://dx.doi.org/10.22028/D291-40211},
year={2023}
}