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, }