BibTeX record conf/wotug/BadbanFP08

download as .bib file

@inproceedings{DBLP:conf/wotug/BadbanFP08,
  author       = {Bahareh Badban and
                  Wan J. Fokkink and
                  Jaco van de Pol},
  editor       = {Peter H. Welch and
                  Susan Stepney and
                  Fiona Polack and
                  Fred R. M. Barnes and
                  Alistair A. McEwan and
                  Gardiner S. Stiles and
                  Jan F. Broenink and
                  Adam T. Sampson},
  title        = {Mechanical Verification of a Two-Way Sliding Window Protocol},
  booktitle    = {The thirty-first Communicating Process Architectures Conference, {CPA}
                  2008, organised under the auspices of WoTUG and the Department of
                  Computer Science of the University of York, York, Yorkshire, UK, 7-10
                  September 2008},
  series       = {Concurrent Systems Engineering Series},
  volume       = {66},
  pages        = {179--202},
  publisher    = {{IOS} Press},
  year         = {2008},
  url          = {https://doi.org/10.3233/978-1-58603-907-3-179},
  doi          = {10.3233/978-1-58603-907-3-179},
  timestamp    = {Mon, 18 May 2020 10:45:20 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/BadbanFP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics