Fixed doi

publications/publications.bib

@@ -522,7 +522,7 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
   Month                    = {June},
   Pages                    = {3--18},
   url                      = {http://www.sciencedirect.com/science/article/pii/S1571066115000699},
-  doi                      = {http://dx.doi.org/10.1016/j.entcs.2015.12.002},
+  doi                      = {10.1016/j.entcs.2015.12.002},
 
   Abstract                 = {The specification of a concurrent program module is a difficult problem. The specifications must be strong enough to enable reasoning about the intended clients without reference to the underlying module implementation. We survey a range of verification techniques for specifying concurrent modules, in particular highlighting four key concepts: auxiliary state, interference abstraction, resource ownership and atomicity. We show how these concepts combine to provide powerful approaches to specifying concurrent modules.}
 }