Luca Bortolussi, Cheng Feng
Location Aggregation of Spatial Population CTMC Models
QAPL, 2016.
@inproceedings{QAPL-2016-BortolussiF,
author = "Luca Bortolussi and Cheng Feng",
booktitle = "{Proceedings of the 14th Workshop on Quantitative Aspects of Programming Languages and Systems}",
doi = "10.4204/EPTCS.227.3",
ee = "http://arxiv.org/abs/1610.08168",
pages = "30--43",
title = "{Location Aggregation of Spatial Population CTMC Models}",
year = 2016,
}











