---
_id: '3536'
author:
- first_name: Gerhard
  full_name: Schellhorn, Gerhard
  last_name: Schellhorn
- first_name: Monika
  full_name: Wedel, Monika
  last_name: Wedel
- first_name: Oleg
  full_name: Travkin, Oleg
  last_name: Travkin
- first_name: Jürgen
  full_name: König, Jürgen
  id: '22358'
  last_name: König
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Schellhorn G, Wedel M, Travkin O, König J, Wehrheim H. FastLane Is Opaque
    – a Case Study in Mechanized Proofs of Opacity. In: <i>Software Engineering and
    Formal Methods</i>. Cham: Springer International Publishing; 2018:105-120. doi:<a
    href="https://doi.org/10.1007/978-3-319-92970-5_7">10.1007/978-3-319-92970-5_7</a>'
  apa: 'Schellhorn, G., Wedel, M., Travkin, O., König, J., &#38; Wehrheim, H. (2018).
    FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity. In <i>Software
    Engineering and Formal Methods</i> (pp. 105–120). Cham: Springer International
    Publishing. <a href="https://doi.org/10.1007/978-3-319-92970-5_7">https://doi.org/10.1007/978-3-319-92970-5_7</a>'
  bibtex: '@inbook{Schellhorn_Wedel_Travkin_König_Wehrheim_2018, place={Cham}, title={FastLane
    Is Opaque – a Case Study in Mechanized Proofs of Opacity}, DOI={<a href="https://doi.org/10.1007/978-3-319-92970-5_7">10.1007/978-3-319-92970-5_7</a>},
    booktitle={Software Engineering and Formal Methods}, publisher={Springer International
    Publishing}, author={Schellhorn, Gerhard and Wedel, Monika and Travkin, Oleg and
    König, Jürgen and Wehrheim, Heike}, year={2018}, pages={105–120} }'
  chicago: 'Schellhorn, Gerhard, Monika Wedel, Oleg Travkin, Jürgen König, and Heike
    Wehrheim. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.”
    In <i>Software Engineering and Formal Methods</i>, 105–20. Cham: Springer International
    Publishing, 2018. <a href="https://doi.org/10.1007/978-3-319-92970-5_7">https://doi.org/10.1007/978-3-319-92970-5_7</a>.'
  ieee: 'G. Schellhorn, M. Wedel, O. Travkin, J. König, and H. Wehrheim, “FastLane
    Is Opaque – a Case Study in Mechanized Proofs of Opacity,” in <i>Software Engineering
    and Formal Methods</i>, Cham: Springer International Publishing, 2018, pp. 105–120.'
  mla: Schellhorn, Gerhard, et al. “FastLane Is Opaque – a Case Study in Mechanized
    Proofs of Opacity.” <i>Software Engineering and Formal Methods</i>, Springer International
    Publishing, 2018, pp. 105–20, doi:<a href="https://doi.org/10.1007/978-3-319-92970-5_7">10.1007/978-3-319-92970-5_7</a>.
  short: 'G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software
    Engineering and Formal Methods, Springer International Publishing, Cham, 2018,
    pp. 105–120.'
date_created: 2018-07-11T06:19:58Z
date_updated: 2022-01-06T06:59:22Z
department:
- _id: '77'
doi: 10.1007/978-3-319-92970-5_7
page: 105-120
place: Cham
project:
- _id: '78'
  name: Validation of Software Transactional Memory
publication: Software Engineering and Formal Methods
publication_identifier:
  isbn:
  - '9783319929699'
  - '9783319929705'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer International Publishing
status: public
title: FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity
type: book_chapter
user_id: '29719'
year: '2018'
...