changeset 102 | 3f52b7ff7688 |
parent 101 | 792f907a1a16 |
child 103 | 76e128119cfc |
--- a/publications.html Sat Apr 14 04:46:41 2012 +0100 +++ b/publications.html Tue Apr 17 16:16:53 2012 +0100 @@ -96,7 +96,7 @@ <p><B>Priority Inheritance Protocol Proved Correct.</B> (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>] + [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>] <p><B>How to Prove False using the Variable Convention.</B>