BibTeX record conf/vecos/SomappaPK15

download as .bib file

@inproceedings{DBLP:conf/vecos/SomappaPK15,
  author    = {Admar Ajith Kumar Somappa and
               Andreas Prinz and
               Lars Michael Kristensen},
  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},
  pages     = {81--96},
  year      = {2015},
  crossref  = {DBLP:conf/vecos/2015},
  url       = {http://ceur-ws.org/Vol-1431/paper9.pdf},
  timestamp = {Tue, 28 May 2019 16:23:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vecos/SomappaPK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vecos/2015,
  editor    = {Belgacem Ben Hedia and
               Florin {Popentiu Vladicescu}},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1431},
  urn       = {urn:nbn:de:0074-1431-6},
  timestamp = {Tue, 28 May 2019 16:23:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vecos/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics