cfaed Publications
Compositional construction of most general controllers
Reference
Joachim Klein, Christel Baier, Sascha Klüppelholz, "Compositional construction of most general controllers", In Acta Informatica, Springer, pp. 1–40, 2015.
Bibtex
@article{klein2015compositional,
title={Compositional construction of most general controllers},
author={Klein, Joachim and Baier, Christel and Kl{\"u}ppelholz, Sascha},
journal={Acta Informatica},
pages={1--40},
year={2015},
publisher={Springer}
}
title={Compositional construction of most general controllers},
author={Klein, Joachim and Baier, Christel and Kl{\"u}ppelholz, Sascha},
journal={Acta Informatica},
pages={1--40},
year={2015},
publisher={Springer}
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=555