aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/resume-da.md2
-rw-r--r--src/resume.md2
2 files changed, 2 insertions, 2 deletions
diff --git a/src/resume-da.md b/src/resume-da.md
index 9cf7d48..b37bc0a 100644
--- a/src/resume-da.md
+++ b/src/resume-da.md
@@ -77,7 +77,7 @@
## Publikationer
[1] **Potency-Based Heuristic Search with Randomness for Explicit Model Checking**<br>
-by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, [J. Srba](http://www.cs.aau.dk/~srba), **A.M. Stück**, S. Sørensen<br>
+by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, **A.M. Stück**, S. Sørensen<br>
In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN'23), LNCS, pages 1--8, Springer-Verlag, 2023.<br>
*To appear.*<br>
[PDF](http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf) &nbsp; [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23)
diff --git a/src/resume.md b/src/resume.md
index d13cf89..1eb10af 100644
--- a/src/resume.md
+++ b/src/resume.md
@@ -77,7 +77,7 @@
## Publications
[1] **Potency-Based Heuristic Search with Randomness for Explicit Model Checking**<br>
-by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, [J. Srba](http://www.cs.aau.dk/~srba), **A.M. Stück**, S. Sørensen<br>
+by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, **A.M. Stück**, S. Sørensen<br>
In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN'23), LNCS, pages 1--8, Springer-Verlag, 2023.<br>
*To appear.*<br>
[PDF](http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf) &nbsp; [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23)