aboutsummaryrefslogtreecommitdiff
path: root/dst
diff options
context:
space:
mode:
Diffstat (limited to 'dst')
-rw-r--r--dst/resume-da.html8
-rw-r--r--dst/resume.html8
-rw-r--r--dst/sitemap.xml20
3 files changed, 20 insertions, 16 deletions
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 @@
<p>[1] <strong>Potency-Based Heuristic Search with Randomness for Explicit Model Checking</strong><br>
by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, <strong>A.M. Stück</strong>, S. Sørensen<br>
-In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN&#8217;23), LNCS, pages 1&#8211;8, Springer-Verlag, 2023.<br>
-<em>To appear.</em><br>
-<a href="http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf">PDF</a> &#160; <a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a>
+In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN&#8217;23), volume 13872 of LNCS, pages 180&#8211;187, Springer-Verlag, 2023.<br>
+<a href="http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf">PDF</a>
+<small><a href="https://www.springer.com/gp/computer-science/lncs">©Springer-Verlag</a></small>
+&#160; <a href="https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10">EE</a>
+&#160; <a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a>
&#160; <a onclick="ShowHide('HKNRSSS:SPIN:23');UpdateText(this);" href="javascript:void(0)">Abstract</a></p>
<div class="abstract" style="display:none" id="HKNRSSS:SPIN:23">Efficient state-space exploration
diff --git a/dst/resume.html b/dst/resume.html
index 1dce9cc..5e9ecc0 100644
--- a/dst/resume.html
+++ b/dst/resume.html
@@ -114,9 +114,11 @@
<p>[1] <strong>Potency-Based Heuristic Search with Randomness for Explicit Model Checking</strong><br>
by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, <strong>A.M. Stück</strong>, S. Sørensen<br>
-In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN&#8217;23), LNCS, pages 1&#8211;8, Springer-Verlag, 2023.<br>
-<em>To appear.</em><br>
-<a href="http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf">PDF</a> &#160; <a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a>
+In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN&#8217;23), volume 13872 of LNCS, pages 180&#8211;187, Springer-Verlag, 2023.<br>
+<a href="http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf">PDF</a>
+<small><a href="https://www.springer.com/gp/computer-science/lncs">©Springer-Verlag</a></small>
+&#160; <a href="https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10">EE</a>
+&#160; <a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a>
&#160; <a onclick="ShowHide('HKNRSSS:SPIN:23');UpdateText(this);" href="javascript:void(0)">Abstract</a></p>
<div class="abstract" style="display:none" id="HKNRSSS:SPIN:23">Efficient state-space exploration
diff --git a/dst/sitemap.xml b/dst/sitemap.xml
index c9c7e68..67e1c59 100644
--- a/dst/sitemap.xml
+++ b/dst/sitemap.xml
@@ -4,14 +4,14 @@ xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9
http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd"
xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
-<url><loc>https://adast.xyz/uses.html</loc><lastmod>2023-04-10</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/resume.html</loc><lastmod>2023-04-10</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/2023-02-log.html</loc><lastmod>2023-04-10</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/projects.html</loc><lastmod>2023-04-10</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/resume-da.html</loc><lastmod>2023-04-10</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/arena.html</loc><lastmod>2023-04-10</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/donate.html</loc><lastmod>2023-04-10</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/now.html</loc><lastmod>2023-04-10</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/services.html</loc><lastmod>2023-04-10</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/index.html</loc><lastmod>2023-04-10</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.dk/uses.html</loc><lastmod>2023-05-11</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.dk/resume.html</loc><lastmod>2023-05-11</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.dk/2023-02-log.html</loc><lastmod>2023-05-11</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.dk/projects.html</loc><lastmod>2023-05-11</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.dk/resume-da.html</loc><lastmod>2023-05-11</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.dk/arena.html</loc><lastmod>2023-05-11</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.dk/donate.html</loc><lastmod>2023-05-11</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.dk/now.html</loc><lastmod>2023-05-11</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.dk/services.html</loc><lastmod>2023-05-11</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.dk/index.html</loc><lastmod>2023-05-11</lastmod><priority>1.0</priority></url>
</urlset>