equal
deleted
inserted
replaced
45 \newcommand{\qed}{\hfill \mbox{\raggedright \rule{0.1in}{0.1in}}} |
45 \newcommand{\qed}{\hfill \mbox{\raggedright \rule{0.1in}{0.1in}}} |
46 |
46 |
47 |
47 |
48 \begin{document} |
48 \begin{document} |
49 \renewcommand{\thefootnote}{$\star$} |
49 \renewcommand{\thefootnote}{$\star$} |
50 \footnotetext[1]{This is a revised and expanded version of \cite{ZhangUrbanWu12}.} |
50 \footnotetext[1]{This is a revised, corrected and expanded version of \cite{ZhangUrbanWu12}.} |
51 \renewcommand{\thefootnote}{\arabic{footnote}} |
51 \renewcommand{\thefootnote}{\arabic{footnote}} |
52 |
52 |
53 \title{Priority Inheritance Protocol Proved Correct} |
53 \title{Priority Inheritance Protocol Proved Correct} |
54 \author{Xingyuan Zhang, Christian Urban and Chunhan Wu} |
54 \author{Xingyuan Zhang, Christian Urban and Chunhan Wu} |
55 %\institute{PLA University of Science and Technology, China \and |
55 %\institute{PLA University of Science and Technology, China \and |