Clemente, L., & Lasota, S. (2015, July). Timed Pushdown Automata Revisited. 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 738-749. https://doi.org/10.1109/LICS.2015.73
Chicago-Zitierstil (17. Ausg.)Clemente, Lorenzo, und Slawomir Lasota. "Timed Pushdown Automata Revisited." 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science Jul. 2015: 738-749. https://doi.org/10.1109/LICS.2015.73.
MLA-Zitierstil (9. Ausg.)Clemente, Lorenzo, und Slawomir Lasota. "Timed Pushdown Automata Revisited." 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul. 2015, pp. 738-749, https://doi.org/10.1109/LICS.2015.73.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.