Dixon, A., Lazic, R., Murawski, A., & Walukiewicz, I. (2021). Leafy automata for higher-order concurrency. Springer.
Citação do estilo Chicago (17ª ed.)Dixon, A., R. Lazic, AS Murawski, e I. Walukiewicz. Leafy Automata for Higher-order Concurrency. Springer, 2021.
Citação MLA (9ª ed.)Dixon, A., et al. Leafy Automata for Higher-order Concurrency. Springer, 2021.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.