---
_id: '3183'
author:
- first_name: Steve
  full_name: Schneider, Steve
  last_name: Schneider
- first_name: Helen
  full_name: Treharne, Helen
  last_name: Treharne
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Schneider S, Treharne H, Wehrheim H. Bounded Retransmission in Event-B{\(\parallel\)}CSP:
    a Case Study. <i>Electr Notes Theor Comput Sci</i>. 2011:69--80. doi:<a href="https://doi.org/10.1016/j.entcs.2011.11.019">10.1016/j.entcs.2011.11.019</a>'
  apa: 'Schneider, S., Treharne, H., &#38; Wehrheim, H. (2011). Bounded Retransmission
    in Event-B{\(\parallel\)}CSP: a Case Study. <i>Electr. Notes Theor. Comput. Sci.</i>,
    69--80. <a href="https://doi.org/10.1016/j.entcs.2011.11.019">https://doi.org/10.1016/j.entcs.2011.11.019</a>'
  bibtex: '@article{Schneider_Treharne_Wehrheim_2011, title={Bounded Retransmission
    in Event-B{\(\parallel\)}CSP: a Case Study}, DOI={<a href="https://doi.org/10.1016/j.entcs.2011.11.019">10.1016/j.entcs.2011.11.019</a>},
    journal={Electr. Notes Theor. Comput. Sci.}, author={Schneider, Steve and Treharne,
    Helen and Wehrheim, Heike}, year={2011}, pages={69--80} }'
  chicago: 'Schneider, Steve, Helen Treharne, and Heike Wehrheim. “Bounded Retransmission
    in Event-B{\(\parallel\)}CSP: A Case Study.” <i>Electr. Notes Theor. Comput. Sci.</i>,
    2011, 69--80. <a href="https://doi.org/10.1016/j.entcs.2011.11.019">https://doi.org/10.1016/j.entcs.2011.11.019</a>.'
  ieee: 'S. Schneider, H. Treharne, and H. Wehrheim, “Bounded Retransmission in Event-B{\(\parallel\)}CSP:
    a Case Study,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 69--80, 2011.'
  mla: 'Schneider, Steve, et al. “Bounded Retransmission in Event-B{\(\parallel\)}CSP:
    A Case Study.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2011, pp. 69--80, doi:<a
    href="https://doi.org/10.1016/j.entcs.2011.11.019">10.1016/j.entcs.2011.11.019</a>.'
  short: S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci.
    (2011) 69--80.
date_created: 2018-06-13T08:20:47Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1016/j.entcs.2011.11.019
page: 69--80
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: 'Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study'
type: journal_article
user_id: '29719'
year: '2011'
...