diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/resume-da.md | 8 | ||||
| -rw-r--r-- | src/resume.md | 8 |
2 files changed, 10 insertions, 6 deletions
diff --git a/src/resume-da.md b/src/resume-da.md index e91b641..af79405 100644 --- a/src/resume-da.md +++ b/src/resume-da.md @@ -78,9 +78,11 @@ [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, **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) [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23) +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> +[PDF](http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf) +<small>[©Springer-Verlag](https://www.springer.com/gp/computer-science/lncs)</small> + [EE](https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10) + [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23) <a onclick="ShowHide('HKNRSSS:SPIN:23');UpdateText(this);" href="javascript:void(0)">Abstract</a> <div class="abstract" style="display:none" id="HKNRSSS:SPIN:23">Efficient state-space exploration diff --git a/src/resume.md b/src/resume.md index 40cb2e6..dcddfe8 100644 --- a/src/resume.md +++ b/src/resume.md @@ -78,9 +78,11 @@ [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, **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) [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23) +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> +[PDF](http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf) +<small>[©Springer-Verlag](https://www.springer.com/gp/computer-science/lncs)</small> + [EE](https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10) + [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23) <a onclick="ShowHide('HKNRSSS:SPIN:23');UpdateText(this);" href="javascript:void(0)">Abstract</a> <div class="abstract" style="display:none" id="HKNRSSS:SPIN:23">Efficient state-space exploration |