diff options
Diffstat (limited to 'dst/resume.html')
| -rw-r--r-- | dst/resume.html | 2 |
1 files changed, 1 insertions, 1 deletions
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’23), LNCS, pages 1–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>   <a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a> |