equal
deleted
inserted
replaced
71 |
71 |
72 |
72 |
73 @inproceedings{ZhangUrbanWu12, |
73 @inproceedings{ZhangUrbanWu12, |
74 author = {X.~Zhang and C.~Urban and C.~Wu}, |
74 author = {X.~Zhang and C.~Urban and C.~Wu}, |
75 title = {{P}riority {I}nheritance {P}rotocol {P}roved {C}orrect}, |
75 title = {{P}riority {I}nheritance {P}rotocol {P}roved {C}orrect}, |
76 booktitle = {Proc.~of the 3rd Conference on Interactive Theorem Proving}, |
76 booktitle = {Proc.~of the 3rd Conference on Interactive Theorem Proving (ITP)}, |
77 year = {2012}, |
77 year = {2012}, |
78 pages = {217--232}, |
78 pages = {217--232}, |
79 series = {LNCS}, |
79 series = {LNCS}, |
80 volume = {7406} |
80 volume = {7406} |
81 } |
81 } |