APA (7th ed.) Citation

Arias, J., Guzmán, M., & Olarte, C. (2015). A Symbolic Model for Timed Concurrent Constraint Programming. Electronic notes in theoretical computer science, 312, 161-177. https://doi.org/10.1016/j.entcs.2015.04.010

Chicago Style (17th ed.) Citation

Arias, Jaime, Michell Guzmán, and Carlos Olarte. "A Symbolic Model for Timed Concurrent Constraint Programming." Electronic Notes in Theoretical Computer Science 312 (2015): 161-177. https://doi.org/10.1016/j.entcs.2015.04.010.

MLA (9th ed.) Citation

Arias, Jaime, et al. "A Symbolic Model for Timed Concurrent Constraint Programming." Electronic Notes in Theoretical Computer Science, vol. 312, 2015, pp. 161-177, https://doi.org/10.1016/j.entcs.2015.04.010.