TY  - RPRT
TI  - Weak bisimulations for labelled transition systems weighted over semirings
AU  - Marino Miculan
AU  - Marco Peressotti
PY  - 2013
UR  - https://arxiv.org/abs/1310.4106
ID  - 1310.4106
ER  -