TY - RPRT TI - Location Aggregation of Spatial Population CTMC Models AU - Luca Bortolussi AU - Cheng Feng PY - 2016 DO - 10.4204/eptcs.227.3 UR - https://arxiv.org/abs/1610.08168 ID - 1610.08168 ER -