diff options
| author | Adam Stück <adam@adast.xyz> | 2023-03-27 09:21:26 +0200 |
|---|---|---|
| committer | Adam Stück <adam@adast.xyz> | 2023-03-27 09:21:26 +0200 |
| commit | bbc2c7b04ab081acde5a5e9e7a6d5fb5004ad83d (patch) | |
| tree | 6a23eccf1da603b59ab89bfe8d20497d9783f233 /src | |
| parent | 087aab2e499372fdff59af572146cd3239425fd3 (diff) | |
resume: drop link to ~srba
On ~srba's recomendation
Diffstat (limited to 'src')
| -rw-r--r-- | src/resume-da.md | 2 | ||||
| -rw-r--r-- | src/resume.md | 2 |
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) [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) [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23) |