Deploying to gh-pages from @ 9ee0090 🚀

SSoelvsten · Feb 10, 2025 · b421762 · b421762
1 parent 40b8582
commit b421762
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/page__cite.html b/page__cite.html
@@ -269,7 +269,7 @@ <h2><a class="anchor" id="autotoc_md38"></a>
 <div class="line">           and Rysgaard, Casper Moldrup</div>
 <div class="line">           and van de Pol, Jaco},</div>
 <div class="line">  booktitle = {Model Checking Software},</div>
-<div class="line">  year      = {2023},</div>
+<div class="line">  year      = {2024},</div>
 <div class="line">  editor    = {Neele, Thomas</div>
 <div class="line">           and Wijs, Anton},</div>
 <div class="line">  pages     = {137--145},</div>