Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorChristian Urban <christian.urban@kcl.ac.uk>
Thu, 21 Jun 2012 16:10:21 +0100
changeset 124 32b4ba305796
parent 123 6029b2fc983c
child 125 d399003a53ca
updated
publications.html file | annotate | diff | comparison | revisions 
--- a/publications.html	Thu Jun 21 16:05:36 2012 +0100
+++ b/publications.html	Thu Jun 21 16:10:21 2012 +0100
@@ -94,10 +94,10 @@
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]
 
 <p><B>Priority Inheritance Protocol Proved Correct.</B> 
-      (with Zhang and Wu) In proceedings of the 3rd Conference on Interactive
-      Theorem Proving (ITP 2012). In volume 7406 of Lecture Notes in 
+      (with Zhang and Wu) In Proceedings of the 3rd Conference on Interactive
+      Theorem Proving (ITP 2012). In Volume 7406 of Lecture Notes in 
       Computer Science. Pages 217-232.
-      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]
+      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]<BR><BR>
 
       (In the published version is a bogus sentence after the definition 
        of detached. This error is corrected in the version above.)
public_html