BibTeX record conf/models/BarnesCVP16

• > Home > conf/models/BarnesCVP16

@inproceedings{DBLP:conf/models/BarnesCVP16,
  author       = {Calypso Barnes and
                  Jean{-}Marie Cottin and
                  Fran{\c{c}}ois Verdier and
                  Alain Pegatoquet},
  editor       = {Benoit Baudry and
                  Beno{\^{\i}}t Combemale},
  title        = {Towards the verification of industrial communication protocols through
                  a simulation environment based on {QEMU} and systemC},
  booktitle    = {Proceedings of the {ACM/IEEE} 19th International Conference on Model
                  Driven Engineering Languages and Systems, Saint-Malo, France, October
                  2-7, 2016},
  pages        = {207--214},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {http://dl.acm.org/citation.cfm?id=2976810},
  timestamp    = {Tue, 06 Nov 2018 16:57:17 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BarnesCVP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}