APA-Zitierstil (7. Ausg.)

Valencia, F. D. (2005). Decidability of infinite-state timed CCP processes and first-order LTL. Theoretical computer science, 330(3), 577-607. https://doi.org/10.1016/j.tcs.2004.10.009

Chicago-Zitierstil (17. Ausg.)

Valencia, Frank D. "Decidability of Infinite-state Timed CCP Processes and First-order LTL." Theoretical Computer Science 330, no. 3 (2005): 577-607. https://doi.org/10.1016/j.tcs.2004.10.009.

MLA-Zitierstil (9. Ausg.)

Valencia, Frank D. "Decidability of Infinite-state Timed CCP Processes and First-order LTL." Theoretical Computer Science, vol. 330, no. 3, 2005, pp. 577-607, https://doi.org/10.1016/j.tcs.2004.10.009.