Dixon, A., Lazic, R., Murawski, A., & Walukiewicz, I. (2021). Leafy automata for higher-order concurrency. Springer.
Chicago Style (17th ed.) CitationDixon, A., R. Lazic, AS Murawski, and I. Walukiewicz. Leafy Automata for Higher-order Concurrency. Springer, 2021.
MLA引文Dixon, A., et al. Leafy Automata for Higher-order Concurrency. Springer, 2021.
警告:這些引文格式不一定是100%准確.