BibTeX record journals/corr/WangJHGDFP13

download as .bib file

@article{DBLP:journals/corr/WangJHGDFP13,
  author       = {Timothy Wang and
                  Romain Jobredeaux and
                  Heber Herencia{-}Zapana and
                  Pierre{-}Lo{\"{\i}}c Garoche and
                  Arnaud Dieumegard and
                  Eric Feron and
                  Marc Pantel},
  title        = {From Design to Implementation: an Automated, Credible Autocoding Chain
                  for Control Systems},
  journal      = {CoRR},
  volume       = {abs/1307.2641},
  year         = {2013},
  url          = {http://arxiv.org/abs/1307.2641},
  eprinttype    = {arXiv},
  eprint       = {1307.2641},
  timestamp    = {Mon, 13 Aug 2018 16:46:57 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/WangJHGDFP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.