Bollig, B., Katoen, J., Kern, C., & Leucker, M. (2010). Learning Communicating Automata from MSCs. IEEE transactions on software engineering, 36(3), 390-408. https://doi.org/10.1109/TSE.2009.89
Chicago-Zitierstil (17. Ausg.)Bollig, Benedikt, Joost-Pieter Katoen, Carsten Kern, und Martin Leucker. "Learning Communicating Automata from MSCs." IEEE Transactions on Software Engineering 36, no. 3 (2010): 390-408. https://doi.org/10.1109/TSE.2009.89.
MLA-Zitierstil (9. Ausg.)Bollig, Benedikt, et al. "Learning Communicating Automata from MSCs." IEEE Transactions on Software Engineering, vol. 36, no. 3, 2010, pp. 390-408, https://doi.org/10.1109/TSE.2009.89.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.