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 <urbanc@in.tum.de>
Sat, 14 Apr 2012 04:46:41 +0100
changeset 101 792f907a1a16
parent 100 ae93eceffa62
child 102 3f52b7ff7688
updated
publications.html file | annotate | diff | comparison | revisions 
--- a/publications.html	Thu Mar 15 16:39:57 2012 +0000
+++ b/publications.html	Sat Apr 14 04:46:41 2012 +0100
@@ -94,7 +94,8 @@
       [<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) Submitted.
+      (with Zhang and Wu) Accepted for publication at the ITP 2012 conference in
+      Princeton.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>]
public_html