From 685a78f307e12a695d80e07ce58fdc7f11bd64bf Mon Sep 17 00:00:00 2001
From: Shale XIONG <shalexiong@dyn1175-30.wlan.ic.ac.uk>
Date: Thu, 10 Nov 2016 11:12:07 +0000
Subject: [PATCH] Fix the bib.
---
publications/publications.bib | 19 +++++--------------
1 file changed, 5 insertions(+), 14 deletions(-)
diff --git a/publications/publications.bib b/publications/publications.bib
index 11fccea..9d5690f 100644
--- a/publications/publications.bib
+++ b/publications/publications.bib
@@ -511,13 +511,8 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
@inproceedings{Raad2016Verifying,
Title = {Verifying Concurrent Graph Algorithms},
- Author = {Azalea Raad and
- Aquinas Hobor and
- Jules Villard and
- Philippa Gardner},
-
- Booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
- 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
+ Author = {Azalea Raad and Aquinas Hobor and Jules Villard and Philippa Gardner},
+ Booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS} 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
Year = {2016},
Pages = {314--334},
url = {http://dx.doi.org/10.1007/978-3-319-47958-3_17},
@@ -528,13 +523,9 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
}
@inproceedings{Raad2016DOM,
- Title = {{DOM:} Specification and Client Reasoning},
- Author = {Azalea Raad and
- Jos{\'{e}} Fragoso Santos and
- Philippa Gardner},
-
- Booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
- 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
+ Title = {{DOM:} Specification and Client Reasoning},
+ Author = {Azalea Raad and Jos{\'{e}} Fragoso Santos and Philippa Gardner},
+ Booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS} 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
Year = {2016},
Pages = {401--422},
url = {http://dx.doi.org/10.1007/978-3-319-47958-3_21},
--
GitLab