External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Peregrine: A Tool for the Analysis of Population Protocols

Michael Blondin, Javier Esparza, Stefan Jaax. Peregrine: A Tool for the Analysis of Population Protocols. In Hana Chockler, Georg Weissenbacher, editors, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Volume 10981 of Lecture Notes in Computer Science, pages 604-611, Springer, 2018. [doi]

Authors

Michael Blondin

This author has not been identified. Look up 'Michael Blondin' in Google

Javier Esparza

This author has not been identified. Look up 'Javier Esparza' in Google

Stefan Jaax

This author has not been identified. Look up 'Stefan Jaax' in Google
runs on