Starting from 2021-07-01, all LRZ GitLab users will be required to explicitly accept the GitLab Terms of Service. Please see the detailed information at and make sure that your projects conform to the requirements.

Commit c0627874 authored by Philipp Meyer's avatar Philipp Meyer
Browse files


parent 9642fa72
......@@ -142,9 +142,9 @@ References
* Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer: “Towards Efficient Verification of Population Protocols”, 2017; [arXiv:1703.04367](
Peregrine is licensed under the GPLv3, see []( for details.
Peregrine is licensed under the GNU GPLv3, see []( for details.
Logo by [Juan Lacruz](, [Peregrine Falcon La Cañada](ñada.jpg), [CC BY-SA 3.0](
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment