equal
deleted
inserted
replaced
15 \usepackage{times} |
15 \usepackage{times} |
16 %%\usepackage{proof} |
16 %%\usepackage{proof} |
17 %%\usepackage{mathabx} |
17 %%\usepackage{mathabx} |
18 \usepackage{stmaryrd} |
18 \usepackage{stmaryrd} |
19 \usepackage{url} |
19 \usepackage{url} |
20 |
20 \usepackage{color} |
21 \titlerunning{Proving the Priority Inheritance Protocol Correct} |
21 \titlerunning{Proving the Priority Inheritance Protocol Correct} |
22 |
22 |
23 |
23 |
24 \urlstyle{rm} |
24 \urlstyle{rm} |
25 \isabellestyle{it} |
25 \isabellestyle{it} |
32 \renewcommand{\isasymemptyset}{$\varnothing$} |
32 \renewcommand{\isasymemptyset}{$\varnothing$} |
33 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
33 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
34 \renewcommand{\isasymiota}{} |
34 \renewcommand{\isasymiota}{} |
35 |
35 |
36 \newcommand{\numbered}[1]{\refstepcounter{equation}{\rm(\arabic{equation})}\label{#1}} |
36 \newcommand{\numbered}[1]{\refstepcounter{equation}{\rm(\arabic{equation})}\label{#1}} |
37 |
37 \definecolor{mygrey}{rgb}{.80,.80,.80} |
38 |
38 |
39 \begin{document} |
39 \begin{document} |
40 |
40 |
41 \title{Priority Inheritance Protocol Proved Correct} |
41 \title{Priority Inheritance Protocol Proved Correct} |
42 \author{Xingyuan Zhang\inst{1} \and Christian Urban\inst{2} \and Chunhan Wu\inst{1}} |
42 \author{Xingyuan Zhang\inst{1} \and Christian Urban\inst{2} \and Chunhan Wu\inst{1}} |
66 real-time systems, Isabelle/HOL |
66 real-time systems, Isabelle/HOL |
67 \end{abstract} |
67 \end{abstract} |
68 |
68 |
69 \input{session} |
69 \input{session} |
70 |
70 |
71 \bibliographystyle{plain} |
71 %\bibliographystyle{plain} |
72 \bibliography{root} |
72 %\bibliography{root} |
73 |
73 |
74 \end{document} |
74 \end{document} |
75 |
75 |
76 %%% Local Variables: |
76 %%% Local Variables: |
77 %%% mode: latex |
77 %%% mode: latex |