Hahn, E., Hartmanns, A., Hermanns, H., & Katoen, J. (2013). A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods in System Design, 43(2), 191-232. https://doi.org/10.1007/s10703-012-0167-z
Chicago-Zitierstil (17. Ausg.)Hahn, Ernst, Arnd Hartmanns, Holger Hermanns, und Joost-Pieter Katoen. "A Compositional Modelling and Analysis Framework for Stochastic Hybrid Systems." Formal Methods in System Design 43, no. 2 (2013): 191-232. https://doi.org/10.1007/s10703-012-0167-z.
MLA-Zitierstil (9. Ausg.)Hahn, Ernst, et al. "A Compositional Modelling and Analysis Framework for Stochastic Hybrid Systems." Formal Methods in System Design, vol. 43, no. 2, 2013, pp. 191-232, https://doi.org/10.1007/s10703-012-0167-z.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.