From bbc2c7b04ab081acde5a5e9e7a6d5fb5004ad83d Mon Sep 17 00:00:00 2001
From: Adam Stück <adam@adast.xyz>
Date: Mon, 27 Mar 2023 09:21:26 +0200
Subject: resume: drop link to ~srba

On ~srba's recomendation
---
 dst/resume.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dst/resume.html')

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 @@
 <h2 id="publications">Publications</h2>
 
 <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, <a href="http://www.cs.aau.dk/~srba">J. Srba</a>, <strong>A.M. Stück</strong>, S. Sørensen<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> 
-- 
cgit v1.2.3-70-g09d2