publications.html
changeset 102 3f52b7ff7688
parent 101 792f907a1a16
child 103 76e128119cfc
equal deleted inserted replaced
101:792f907a1a16 102:3f52b7ff7688
    94       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]
    94       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]
    95 
    95 
    96 <p><B>Priority Inheritance Protocol Proved Correct.</B> 
    96 <p><B>Priority Inheritance Protocol Proved Correct.</B> 
    97       (with Zhang and Wu) Accepted for publication at the ITP 2012 conference in
    97       (with Zhang and Wu) Accepted for publication at the ITP 2012 conference in
    98       Princeton.
    98       Princeton.
    99       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>]
    99       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]
   100 
   100 
   101 
   101 
   102 <p><B>How to Prove False using the Variable Convention.</B> 
   102 <p><B>How to Prove False using the Variable Convention.</B> 
   103      Appears as a poster at TTVSI, 1 page. 
   103      Appears as a poster at TTVSI, 1 page. 
   104      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-abstract-08.pdf">pdf</A>]
   104      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-abstract-08.pdf">pdf</A>]