Verification of population protocols

From MaRDI portal
Publication:523133

DOI10.1007/s00236-016-0272-3zbMath1364.68081OpenAlexW2424307510MaRDI QIDQ523133

Javier Esparza, Jérôme Leroux, Rupak Majumdar, Pierre Ganty

Publication date: 20 April 2017

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-016-0272-3



Related Items


Uses Software


Cites Work