BibTeX record conf/vecos/SomappaPK15

• > Home > conf/vecos/SomappaPK15

@inproceedings{DBLP:conf/vecos/SomappaPK15,
  author    = {Admar Ajith Kumar Somappa and
               Andreas Prinz and
               Lars Michael Kristensen},
  editor    = {Belgacem Ben Hedia and
               Florin Popentiu Vladicescu},
  title     = {Model-Based Verification of the {DMAMAC} Protocol for Real-time Process
               Control},
  booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
               Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
               September 10-11, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1431},
  pages     = {81--96},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1431/paper9.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:17 +0100},
  biburl    = {https://dblp.org/rec/conf/vecos/SomappaPK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}