BibTeX record conf/wotug/KlompRDB09

• > Home > conf/wotug/KlompRDB09

@inproceedings{DBLP:conf/wotug/KlompRDB09,
  author       = {Arjen Klomp and
                  Herman W. Roebbers and
                  Ruud Derwig and
                  Leon Bouwmeester},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Designing a Mathematically Verified I\({}^{\mbox{2}}\)C Device Driver
                  Using {ASD}},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {105--116},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-105},
  doi          = {10.3233/978-1-60750-065-0-105},
  timestamp    = {Wed, 17 May 2017 10:54:37 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/KlompRDB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}