Citace podle APA (7th ed.)

Hunter, P., Ouaknine, J., & Worrell, J. (2013, June). Expressive Completeness for Metric Temporal Logic. 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 349-357. https://doi.org/10.1109/LICS.2013.41

Citace podle Chicago (17th ed.)

Hunter, Paul, Joel Ouaknine, a James Worrell. "Expressive Completeness for Metric Temporal Logic." 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science Jun. 2013: 349-357. https://doi.org/10.1109/LICS.2013.41.

Citace podle MLA (9th ed.)

Hunter, Paul, et al. "Expressive Completeness for Metric Temporal Logic." 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun. 2013, pp. 349-357, https://doi.org/10.1109/LICS.2013.41.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..