Dixon, A., Lazic, R., Murawski, A., & Walukiewicz, I. (2021). Leafy automata for higher-order concurrency. Springer.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Dixon, A., R. Lazic, AS Murawski, ба I. Walukiewicz. Leafy Automata for Higher-order Concurrency. Springer, 2021.
MLA -ийн эшлэл (9 дэх хэвлэлт)Dixon, A., et al. Leafy Automata for Higher-order Concurrency. Springer, 2021.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.