equal
deleted
inserted
replaced
78 |
78 |
79 <TR> |
79 <TR> |
80 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
80 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
81 <H3>2018</H3> |
81 <H3>2018</H3> |
82 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
82 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
83 (with Zhang and Wu) Journal version. In Journal of Automated Reasoning, |
83 (with Zhang and Wu). In Journal of Automated Reasoning, |
84 <A HREF="https://link.springer.com/article/10.1007/s10817-019-09511-5">Springer Verlag</A>. |
84 <A HREF="https://link.springer.com/article/10.1007/s10817-019-09511-5">Springer Verlag</A>. |
85 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>] |
85 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>] |
86 </TD> |
86 </TD> |
87 </TR> |
87 </TR> |
88 |
88 |