Luca Bortolussi, Jane Hillston. Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. In Marco Bernardo, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky, editors, Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures. Volume 7938 of Lecture Notes in Computer Science, pages 113-149, Springer, 2013. [doi]
@inproceedings{BortolussiH13-0,
title = {Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation},
author = {Luca Bortolussi and Jane Hillston},
year = {2013},
doi = {10.1007/978-3-642-38874-3_4},
url = {http://dx.doi.org/10.1007/978-3-642-38874-3_4},
researchr = {https://researchr.org/publication/BortolussiH13-0},
cites = {0},
citedby = {0},
pages = {113-149},
booktitle = {Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures},
editor = {Marco Bernardo and Erik P. de Vink and Alessandra Di Pierro and Herbert Wiklicky},
volume = {7938},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-38873-6},
}