Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness (bibtex)

Reference:

Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness (Samira Akili and Kim Völlinger), In Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers (Hossein Hojjat, Mieke Massink, eds.), Springer, volume 11761, 2019.

Bibtex Entry:

@inproceedings{DBLP:conf/fsen/AkiliV19,
  author    = {Samira Akili and
               Kim V{\"o}llinger},
  editor    = {Hossein Hojjat and
               Mieke Massink},
  title     = {Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness},
  booktitle = {Fundamentals of Software Engineering - 8th International Conference,
               {FSEN} 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11761},
  pages     = {179--185},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31517-7\_12},
  doi       = {10.1007/978-3-030-31517-7\_12},
  timestamp = {Tue, 24 Sep 2019 16:23:52 +0200},
  biburl    = {https://dblp.org/rec/conf/fsen/AkiliV19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}