Köcher, C., & Kuske, D. (2025). Reachability in Trace-Pushdown Systems.
Citazione stile Chigago Style (17a edizione)Köcher, Chris, e Dietrich Kuske. Reachability in Trace-Pushdown Systems. 2025.
Citatione MLA (9a ed.)Köcher, Chris, e Dietrich Kuske. Reachability in Trace-Pushdown Systems. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.