Dominique Méry, Michael Poppleton. Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols. Software and Systems Modeling, 16(4):1083-1115, 2017. [doi]
@article{MeryP17, title = {Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols}, author = {Dominique Méry and Michael Poppleton}, year = {2017}, doi = {10.1007/s10270-015-0504-y}, url = {https://doi.org/10.1007/s10270-015-0504-y}, researchr = {https://researchr.org/publication/MeryP17}, cites = {0}, citedby = {0}, journal = {Software and Systems Modeling}, volume = {16}, number = {4}, pages = {1083-1115}, }