TY  - RPRT
TI  - Lumpability Abstractions of Rule-based Systems
AU  - Jerome Feret
AU  - Thomas Henzinger
AU  - Heinz Koeppl
AU  - Tatjana Petrov
PY  - 2010
DO  - 10.4204/eptcs.40.10
UR  - https://arxiv.org/abs/1011.0496
ID  - 1011.0496
ER  -