From 9586c428a98530b0ede86b277596dc99c24dc934 Mon Sep 17 00:00:00 2001 From: Adam Stück Date: Thu, 11 May 2023 22:42:19 +0200 Subject: resume: update publications --- src/resume-da.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/resume-da.md') diff --git a/src/resume-da.md b/src/resume-da.md index e91b641..af79405 100644 --- a/src/resume-da.md +++ b/src/resume-da.md @@ -78,9 +78,11 @@ [1] **Potency-Based Heuristic Search with Randomness for Explicit Model Checking**
by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, **A.M. Stück**, S. Sørensen
-In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN'23), LNCS, pages 1--8, Springer-Verlag, 2023.
-*To appear.*
-[PDF](http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf)   [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23) +In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN'23), volume 13872 of LNCS, pages 180--187, Springer-Verlag, 2023.
+[PDF](http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf) +[©Springer-Verlag](https://www.springer.com/gp/computer-science/lncs) +  [EE](https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10) +  [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23)   Abstract