@article{6828,
  author       = {{Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}},
  journal      = {{Formal Asp. Comput.}},
  number       = {{5}},
  pages        = {{597--625}},
  title        = {{{Mechanized proofs of opacity: a comparison of two techniques}}},
  doi          = {{10.1007/s00165-017-0433-3}},
  volume       = {{30}},
  year         = {{2018}},
}