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-Zitierstil (17. Ausg.)Foshammer, Louise, Kim Guldstrand Larsen, und 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-Zitierstil (9. Ausg.)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.