TY  - RPRT
TI  - Tree rules in probabilistic transition system specifications with negative and quantitative premises
AU  - Matias David Lee
AU  - Daniel Gebler
AU  - Pedro R. D'Argenio
PY  - 2012
DO  - 10.4204/eptcs.89.9
UR  - https://arxiv.org/abs/1208.2752
ID  - 1208.2752
ER  -