Schellhorn, G., Tofan, B., Ernst, G., Pfähler, J., & Reif, W. (2014). RGITL: A temporal logic framework for compositional reasoning about interleaved programs. Annals of Mathematics & Artificial Intelligence, 71(1-3), 131-174. https://doi.org/10.1007/s10472-013-9389-z
Citace podle Chicago (17th ed.)Schellhorn, Gerhard, Bogdan Tofan, Gidon Ernst, Jörg Pfähler, a Wolfgang Reif. "RGITL: A Temporal Logic Framework for Compositional Reasoning About Interleaved Programs." Annals of Mathematics & Artificial Intelligence 71, no. 1-3 (2014): 131-174. https://doi.org/10.1007/s10472-013-9389-z.
Citace podle MLA (9th ed.)Schellhorn, Gerhard, et al. "RGITL: A Temporal Logic Framework for Compositional Reasoning About Interleaved Programs." Annals of Mathematics & Artificial Intelligence, vol. 71, no. 1-3, 2014, pp. 131-174, https://doi.org/10.1007/s10472-013-9389-z.