Pitoni, V., & Costantini, S. (2019). A Temporal Module for Logical Frameworks. Electronic proceedings in theoretical computer science, 306(Proc. ICLP 2019), 340-346. https://doi.org/10.4204/EPTCS.306.40
Chicago-Zitierstil (17. Ausg.)Pitoni, Valentina, und Stefania Costantini. "A Temporal Module for Logical Frameworks." Electronic Proceedings in Theoretical Computer Science 306, no. Proc. ICLP 2019 (2019): 340-346. https://doi.org/10.4204/EPTCS.306.40.
MLA-Zitierstil (9. Ausg.)Pitoni, Valentina, und Stefania Costantini. "A Temporal Module for Logical Frameworks." Electronic Proceedings in Theoretical Computer Science, vol. 306, no. Proc. ICLP 2019, 2019, pp. 340-346, https://doi.org/10.4204/EPTCS.306.40.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.