70909766

a

70909766 Chatzigiannakis, Ioannis Michail, Othon Spirakis, Paul G. Algorithmic verification of population protocols SSS, 221-235 (2010). 2010 EN

doi:10.1007/978-3-642-16023-3_19