Matteo Casadei, Mirko Viroli. Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems. In Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Lyon, France, September 10-14, 2012. pages 199-204, IEEE Computer Society, 2012. [doi]
@inproceedings{CasadeiV12,
title = {Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems},
author = {Matteo Casadei and Mirko Viroli},
year = {2012},
doi = {10.1109/SASOW.2012.42},
url = {http://doi.ieeecomputersociety.org/10.1109/SASOW.2012.42},
researchr = {https://researchr.org/publication/CasadeiV12},
cites = {0},
citedby = {0},
pages = {199-204},
booktitle = {Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Lyon, France, September 10-14, 2012},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-5153-9},
}