Johansson, M., Victor, B., & Parrow, J. (2012). Computing strong and weak bisimulations for psi-calculi. The journal of logic and algebraic programming, 81(3), 162-180. https://doi.org/10.1016/j.jlap.2012.01.001
Citace podle Chicago (17th ed.)Johansson, Magnus, Björn Victor, a Joachim Parrow. "Computing Strong and Weak Bisimulations for Psi-calculi." The Journal of Logic and Algebraic Programming 81, no. 3 (2012): 162-180. https://doi.org/10.1016/j.jlap.2012.01.001.
Citace podle MLA (9th ed.)Johansson, Magnus, et al. "Computing Strong and Weak Bisimulations for Psi-calculi." The Journal of Logic and Algebraic Programming, vol. 81, no. 3, 2012, pp. 162-180, https://doi.org/10.1016/j.jlap.2012.01.001.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..