Aceto, L., Fokkink, W., Ingólfsdóttir, A., & Luttik, B. (2005). CCS with Hennessy's merge has no finite-equational axiomatization. Theoretical computer science, 330(3), 377-405. https://doi.org/10.1016/j.tcs.2004.10.003
Citace podle Chicago (17th ed.)Aceto, Luca, Wan Fokkink, Anna Ingólfsdóttir, a Bas Luttik. "CCS with Hennessy's Merge Has No Finite-equational Axiomatization." Theoretical Computer Science 330, no. 3 (2005): 377-405. https://doi.org/10.1016/j.tcs.2004.10.003.
Citace podle MLA (9th ed.)Aceto, Luca, et al. "CCS with Hennessy's Merge Has No Finite-equational Axiomatization." Theoretical Computer Science, vol. 330, no. 3, 2005, pp. 377-405, https://doi.org/10.1016/j.tcs.2004.10.003.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..