Skip to content
Snippets Groups Projects
Commit 86ec5e85 authored by Marco De Lucia's avatar Marco De Lucia Committed by Uwe Jandt (DESY, HIFIS)
Browse files

Update Citation in Spotlight Tamarin Prover

parent 81c5073f
No related branches found
No related tags found
1 merge request!635Update Citation in Spotlight Tamarin Prover
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
_spotlights/tamarin.md
+ 1
− 1
View file @ 86ec5e85
......@@ -116,7 +116,7 @@ programming_languages:
- Javascript
# DOI (without URL, just 10.1000/1.0000000 ) (optional)
doi: 10.3233/JCS-210053
doi: 10.1007/978-3-642-39799-8_48
# Funding of the software (optional)
funding:
......
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

A HIFIS Service | Privacy | Imprint | Support | Documentation | Changelog