From 530f17fba4c3364060d62ed850c3836adf3edc61 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 2 Dec 2020 16:13:42 +0000
Subject: [PATCH] Update publications.bib
---
publications.bib | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/publications.bib b/publications.bib
index 249cea5..a66f203 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1829,7 +1829,7 @@ author = {Emanuele D'Osualdo and
Azadeh Farzan and
Philippa Gardner and
Julian Sutherland},
-title = {(Submitted) TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs},
+title = {TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs},
year = {2020},
}
@InProceedings{DOsualdo2020Decidable,
--
GitLab