@misc{indiciaea9891be3cc41, title = {Lumpability Abstractions of Rule-based Systems}, author = {Jerome Feret and Thomas Henzinger and Heinz Koeppl and Tatjana Petrov}, year = {2010}, doi = {10.4204/eptcs.40.10}, url = {https://arxiv.org/abs/1011.0496}, note = {Source identifier: 1011.0496} }