Tini, S. (2004). Timed CCP compositionally embeds Argos and Lustre. Formal aspects of computing, 16(3), 292-312. https://doi.org/10.1007/s00165-004-0041-x
Chicago-Zitierstil (17. Ausg.)Tini, Simone. "Timed CCP Compositionally Embeds Argos and Lustre." Formal Aspects of Computing 16, no. 3 (2004): 292-312. https://doi.org/10.1007/s00165-004-0041-x.
MLA-Zitierstil (9. Ausg.)Tini, Simone. "Timed CCP Compositionally Embeds Argos and Lustre." Formal Aspects of Computing, vol. 16, no. 3, 2004, pp. 292-312, https://doi.org/10.1007/s00165-004-0041-x.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.