From d605a3bf0a864c9dddfe6b53cc80a1edc7fc194a Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Mon, 16 Mar 2020 15:01:07 +0100 Subject: [PATCH] Use general zenodo id for complete project instead of specific release --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ffc16915e..4b2dd59e2 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ Storm - A Modern Probabilistic Model Checker ============================================ [![Build Status](https://travis-ci.org/moves-rwth/storm.svg?branch=master)](https://travis-ci.org/moves-rwth/storm) [![GitHub release](https://img.shields.io/github/release/moves-rwth/storm.svg)](https://github.com/moves-rwth/storm/releases/) -[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3574502.svg)](https://doi.org/10.5281/zenodo.3574502) +[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.1181896.svg)](https://doi.org/10.5281/zenodo.1181896) For more instructions, check out the documentation found in [Getting Started](http://www.stormchecker.org/getting-started.html).