From 4e16e3a6fbe879f021c87f7b6ab71c52be1613dc Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Wed, 5 Sep 2018 15:03:27 +0100
Subject: [PATCH] fix bibtex
---
publications.bib | 12 +++++-------
1 file changed, 5 insertions(+), 7 deletions(-)
diff --git a/publications.bib b/publications.bib
index d6d7688..a99bcee 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1586,8 +1586,8 @@ exhibit the desired behaviour.},
keywords = {Concurrency, Specification, Program verification},
url = {http://www.sciencedirect.com/science/article/pii/S2352220817300871},
}
-
- @InProceedings{Ntzik2018Concurrent,
+
+@InProceedings{Ntzik2018Concurrent,
author = {Gian Ntzik and Pedro {da Rocha Pinto} and Julian Sutherland and Philippa Gardner},
title = {A Concurrent Specification of POSIX File Systems },
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018).},
@@ -1621,13 +1621,11 @@ invariants used to restrict the interference, and apply our reasoning to the exa
Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
Germany, September 03-05, 2018},
pages = {11:1--11:14},
+ month = sep,
year = {2018},
- crossref = {DBLP:conf/ppdp/2018},
- url = {http://doi.acm.org/10.1145/3236950.3236956},
doi = {10.1145/3236950.3236956},
- timestamp = {Tue, 14 Aug 2018 20:44:23 +0200},
- biburl = {https://dblp.org/rec/bib/conf/ppdp/SantosMGDG18},
- bibsource = {dblp computer science bibliography, https://dblp.org}
+ project = { web }
+}
@Comment{jabref-meta: databaseType:bibtex;}
--
GitLab