Update publications.bib

publications.bib

@@ -405,18 +405,20 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
   timestamp = {Sun, 28 May 2017 01:00:00 +0200},
   url       = {https://doi.org/10.1016/j.tcs.2005.03.017},
 }
-
-@Proceedings{DBLP:conf/dagstuhl/2004P4241,
-  title     = {Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004},
-  year      = {2005},
-  editor    = {Barbara K{\"{o}}nig and Ugo Montanari and Philippa Gardner},
-  volume    = {04241},
+@proceedings{DBLP:conf/dagstuhl/2004P4241,
+  editor    = {Barbara K{\"{o}}nig and
+               Ugo Montanari and
+               Philippa Gardner},
+  title     = {Graph Transformations and Process Algebras for Modeling Distributed
+               and Mobile Systems, 6.-11. June 2004},
   series    = {Dagstuhl Seminar Proceedings},
+  volume    = {04241},
   publisher = {IBFI, Schloss Dagstuhl, Germany},
-  bibsource = {dblp computer science bibliography, http://dblp.org},
-  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/2004P4241},
-  timestamp = {Wed, 07 Jan 2015 00:00:00 +0100},
+  year      = {2005},
   url       = {http://drops.dagstuhl.de/portals/04241/},
+  timestamp = {Wed, 07 Jan 2015 18:21:20 +0100},
+  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/2004P4241},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
 }
 
 @InProceedings{DBLP:conf/fossacs/WischikG04,