Dixon, A., Lazic, R., Murawski, A., & Walukiewicz, I. (2021). Leafy automata for higher-order concurrency. Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Dixon, A., R. Lazic, AS Murawski, και I. Walukiewicz. Leafy Automata for Higher-order Concurrency. Springer, 2021.
Παραπομπή σε μορφή MLA (9th εκδ.)Dixon, A., et al. Leafy Automata for Higher-order Concurrency. Springer, 2021.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.