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
- PLA University of Science and Technology in Nanjing.
+ PLA University of Science and Technology in Nanjing.
@@ -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
-PLA University of Science and Technology in Nanjing.
+PLA University of Science and Technology in Nanjing.
My funding for this work came from the
Chinese-German Research Centre.