Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer. Towards Efficient Verification of Population Protocols. In Elad Michael Schiller, Alexander A. Schwarzmann, editors, Proceedings of the ACM Symposium on Principles of Distributed Computing, PODC 2017, Washington, DC, USA, July 25-27, 2017. pages 423-430, ACM, 2017. [doi]
Abstract is missing.