equal
deleted
inserted
replaced
84 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
84 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
85 <H3>2018</H3> |
85 <H3>2018</H3> |
86 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
86 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
87 (with Zhang and Wu). In Journal of Automated Reasoning, |
87 (with Zhang and Wu). In Journal of Automated Reasoning, |
88 <A HREF="https://link.springer.com/article/10.1007/s10817-019-09511-5">Springer Verlag</A>. |
88 <A HREF="https://link.springer.com/article/10.1007/s10817-019-09511-5">Springer Verlag</A>. |
89 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>] |
89 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>] |
|
90 <p>The sources of the Isabelle/HOL code are now hosted at |
|
91 <A HREF="https://talisker.nms.kcl.ac.uk/cgi-bin/repos.cgi/pip/">https://talisker.nms.kcl.ac.uk/cgi-bin/repos.cgi/pip/</A>. |
90 </TD> |
92 </TD> |
91 </TR> |
93 </TR> |
92 |
94 |
93 |
95 |
94 <TR> |
96 <TR> |