# HG changeset patch # User Christian Urban <urbanc@in.tum.de> # Date 1568975372 -3600 # Node ID e06dad70e80a0e82defc7a2e3b4642e4f930f70f # Parent 99880ddeae63d7ab490e2ffbf3cf807ecef20e56 updated diff -r 99880ddeae63 -r e06dad70e80a index.html --- a/index.html Fri Sep 20 11:12:38 2019 +0100 +++ b/index.html Fri Sep 20 11:29:32 2019 +0100 @@ -272,7 +272,7 @@ help us with proving the correctness of the priority inheritance protocol. This is joint work with Prof. Xingyuan Zhang and his student Chunhan Wu from the - <A HREF="http://www.ust.com.cn/">PLA University of Science and Technology</A> in Nanjing. + PLA University of Science and Technology in Nanjing. </TD> </TR> @@ -302,7 +302,7 @@ "proving Reg-exp-langs [being] closed under complementation without using equiv to DFA's"....yes we can! This is joint work with Prof. Xingyuan Zhang and his student Chunhan Wu from the -<A HREF="http://www.ust.com.cn/">PLA University of Science and Technology</A> in Nanjing. +PLA University of Science and Technology in Nanjing. My funding for this work came from the <A HREF="http://sinogermanscience.dfg.nsfc.cn/de/index.html">Chinese-German Research Centre</A>. </TD>