--- a/publications.html	Tue Jun 12 13:54:30 2012 +0100
+++ b/publications.html	Thu Jun 21 16:05:36 2012 +0100
@@ -94,10 +94,13 @@
       [<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) Accepted for publication at the ITP 2012 conference in
-      Princeton.
+      (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>]
 
+      (In the published version is a bogus sentence after the definition 
+       of detached. This error is corrected in the version above.)
 
 <p><B>How to Prove False using the Variable Convention.</B> 
      Appears as a poster at TTVSI, 1 page.