Update publications.bib

78867c48 · Teresa Carbajo-Garcia · ba4b4c47 · 78867c48
Commit 78867c48 authored Sep 09, 2020 by Teresa Carbajo-Garcia
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

publications.bib publications.bib +1 -1

No files found.
--- a/publications.bib
+++ b/publications.bib
@@ -1832,7 +1832,7 @@ author    = {Emanuele D'Osualdo and
 title     = {(Submitted) TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs},
 year      = {2020},
 }
-@InProceedings{DOsualdoS2020Decidable,
+@InProceedings{DOsualdo2020Decidable,
 author    = {Emanuele D'Osualdo and
            Felix Stutz},
 editor    = {Igor Konnov and