From 6042aae348f7e865faa93d7a6687eb4a86e36387 Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Thu, 22 Sep 2016 11:34:40 +0100
Subject: [PATCH] Add DOI for Cardelli2007Manipulating
---
publications/publications.bib | 1 +
1 file changed, 1 insertion(+)
diff --git a/publications/publications.bib b/publications/publications.bib
index e7a7dca..c4c347c 100644
--- a/publications/publications.bib
+++ b/publications/publications.bib
@@ -97,6 +97,7 @@ We prconcurrencyesent JSCert, a formalisation of the current ECMA standard in th
Year = {2007},
Pages = {177--201},
Volume = {172},
+ doi = {10.1016/j.entcs.2007.02.007},
Project = { TBD },
--
GitLab