APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Foshammer, Louise, Kim Guldstrand Larsen, and 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.

MLA (9th ed.) Citation

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.