Bollig, B. (2005). Automata and logics for message sequence charts. Mainz.
Chicago-Zitierstil (17. Ausg.)Bollig, Benedikt. Automata and Logics for Message Sequence Charts. Aachen: Mainz, 2005.
MLA-Zitierstil (9. Ausg.)Bollig, Benedikt. Automata and Logics for Message Sequence Charts. Mainz, 2005.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.