@paves_previous

Model Checking Population Protocols.

, , , and . FSTTCS, volume 65 of LIPIcs, page 27:1-27:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)


Cite this publication