APA (7th ed.) Citation

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 Style (17th ed.) Citation

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 (9th ed.) Citation

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.