diff options
| author | Adam Stück <adam@adast.xyz> | 2023-05-11 22:42:19 +0200 |
|---|---|---|
| committer | Adam Stück <adam@adast.xyz> | 2023-05-11 22:42:34 +0200 |
| commit | 9586c428a98530b0ede86b277596dc99c24dc934 (patch) | |
| tree | d1a77281a0aea4931a41f790207746af6ea27ed1 /dst/resume-da.html | |
| parent | 5f70c4c54562079ad754abf01fc24acd18666e21 (diff) | |
resume: update publications
Diffstat (limited to 'dst/resume-da.html')
| -rw-r--r-- | dst/resume-da.html | 8 |
1 files changed, 5 insertions, 3 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’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> +In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN’23), volume 13872 of LNCS, pages 180–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> +  <a href="https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10">EE</a> +  <a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a>   <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 |