Aceto, L. (2007). Reactive systems: Modelling, specification and verification. Cambridge University Press. https://doi.org/10.1017/CBO9780511814105
Chicago-Zitierstil (17. Ausg.)Aceto, Luca. Reactive Systems: Modelling, Specification and Verification. Cambridge: Cambridge University Press, 2007. https://doi.org/10.1017/CBO9780511814105.
MLA-Zitierstil (9. Ausg.)Aceto, Luca. Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, 2007. https://doi.org/10.1017/CBO9780511814105.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.