From bbc2c7b04ab081acde5a5e9e7a6d5fb5004ad83d Mon Sep 17 00:00:00 2001 From: Adam Stück Date: Mon, 27 Mar 2023 09:21:26 +0200 Subject: resume: drop link to ~srba On ~srba's recomendation --- dst/resume-da.html | 2 +- dst/resume.html | 2 +- dst/sitemap.xml | 20 ++++++++++---------- 3 files changed, 12 insertions(+), 12 deletions(-) (limited to 'dst') diff --git a/dst/resume-da.html b/dst/resume-da.html index ba8a627..4d357f2 100644 --- a/dst/resume-da.html +++ b/dst/resume-da.html @@ -113,7 +113,7 @@

Publikationer

[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
+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 diff --git a/dst/resume.html b/dst/resume.html index 7ffb293..a68c601 100644 --- a/dst/resume.html +++ b/dst/resume.html @@ -113,7 +113,7 @@

Publications

[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
+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 diff --git a/dst/sitemap.xml b/dst/sitemap.xml index f84abdb..1b15fdb 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"> -https://adast.xyz/uses.html2023-03-251.0 -https://adast.xyz/resume.html2023-03-251.0 -https://adast.xyz/2023-02-log.html2023-03-251.0 -https://adast.xyz/projects.html2023-03-251.0 -https://adast.xyz/resume-da.html2023-03-251.0 -https://adast.xyz/arena.html2023-03-251.0 -https://adast.xyz/donate.html2023-03-251.0 -https://adast.xyz/now.html2023-03-251.0 -https://adast.xyz/services.html2023-03-251.0 -https://adast.xyz/index.html2023-03-251.0 +https://adast.xyz/uses.html2023-03-271.0 +https://adast.xyz/resume.html2023-03-271.0 +https://adast.xyz/2023-02-log.html2023-03-271.0 +https://adast.xyz/projects.html2023-03-271.0 +https://adast.xyz/resume-da.html2023-03-271.0 +https://adast.xyz/arena.html2023-03-271.0 +https://adast.xyz/donate.html2023-03-271.0 +https://adast.xyz/now.html2023-03-271.0 +https://adast.xyz/services.html2023-03-271.0 +https://adast.xyz/index.html2023-03-271.0 -- cgit v1.2.3-70-g09d2