Citace podle APA (7th ed.)

Foshammer, L., Guldstrand Larsen, K., & Mariegaard, A. (2016). Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures. Electronic proceedings in theoretical computer science, 220(Proc. Cassting 2016/SynCoP'16), 63-75. https://doi.org/10.4204/EPTCS.220.6

Citace podle Chicago (17th ed.)

Foshammer, Louise, Kim Guldstrand Larsen, a Anders Mariegaard. "Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures." Electronic Proceedings in Theoretical Computer Science 220, no. Proc. Cassting 2016/SynCoP'16 (2016): 63-75. https://doi.org/10.4204/EPTCS.220.6.

Citace podle MLA (9th ed.)

Foshammer, Louise, et al. "Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures." Electronic Proceedings in Theoretical Computer Science, vol. 220, no. Proc. Cassting 2016/SynCoP'16, 2016, pp. 63-75, https://doi.org/10.4204/EPTCS.220.6.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..