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 --- dst/resume-da.html | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'dst/resume-da.html') diff --git a/dst/resume-da.html b/dst/resume-da.html index 6909442..fa682e0 100644 --- a/dst/resume-da.html +++ b/dst/resume-da.html @@ -114,9 +114,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   BibTex +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 +©Springer-Verlag +  EE +  BibTex   Abstract