Peregrine: A Tool for the Analysis of Population Protocols ? Michael Blondin[0000−0003−2914−2734] , Javier Esparza[0000−0001−9862−4919] , and Stefan Jaax[0000−0001−5789−8091] Technische Universit¨ at M

First Page		Document Content
Date: 2018-04-14 08:07:38		Peregrine: A Tool for the Analysis of Population Protocols ? Michael Blondin[0000−0003−2914−2734] , Javier Esparza[0000−0001−9862−4919] , and Stefan Jaax[0000−0001−5789−8091] Technische Universit¨ at M Add to Reading List Source URL: www7.in.tum.de Download Document from Source Website File Size: 402,50 KB Share Document on Facebook