TY  - RPRT
TI  - Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures
AU  - Louise Foshammer
AU  - Kim Guldstrand Larsen
AU  - Anders Mariegaard
PY  - 2016
DO  - 10.4204/eptcs.220.6
UR  - https://arxiv.org/abs/1608.00657
ID  - 1608.00657
ER  -