Fix incorrect year on SPIN 24 paper BibTeX

SSoelvsten · Feb 10, 2025 · 9ee0090 · 9ee0090
1 parent 1aa125e
commit 9ee0090
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/papers/cite.md b/docs/papers/cite.md
@@ -228,7 +228,7 @@ further improve performance of the product construction algorithms.
              and Rysgaard, Casper Moldrup
              and van de Pol, Jaco},
     booktitle = {Model Checking Software},
-    year      = {2023},
+    year      = {2024},
     editor    = {Neele, Thomas
              and Wijs, Anton},
     pages     = {137--145},