# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1530105144 -3600
# Node ID a3f4124faea9fb90d0b5a2d38a102a33d20bca88
# Parent  5066ef915dba3aacc478f20f0f86954b51922c6a
updated

diff -r 5066ef915dba -r a3f4124faea9 publications.html
--- a/publications.html	Wed Jun 27 14:10:44 2018 +0100
+++ b/publications.html	Wed Jun 27 14:12:24 2018 +0100
@@ -73,7 +73,10 @@
 
 <p><B>Priority Inheritance Protocol Proved Correct.</B> 
       (with Zhang and Wu) Journal version. Accepted in Journal of Automated Reasoning.
-      [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>]
+
+<p><B>POSIX Lexing with Derivatives of Regular Expressions.</B>
+      (with Ausaf and Dyckhoff) Journal version.
 </TD>
 </TR>