BibTeX record conf/memocode/YuTBGMG11

download as .bib file

@inproceedings{DBLP:conf/memocode/YuTBGMG11,
  author    = {Huafeng Yu and
               Jean{-}Pierre Talpin and
               Lo{\"{\i}}c Besnard and
               Thierry Gautier and
               Herv{\'{e}} Marchand and
               Paul Le Guernic},
  title     = {Polychronous controller synthesis from {MARTE} {CCSL} timing specifications},
  booktitle = {9th {IEEE/ACM} International Conference on Formal Methods and Models
               for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
  pages     = {21--30},
  year      = {2011},
  crossref  = {DBLP:conf/memocode/2011},
  url       = {https://doi.org/10.1109/MEMCOD.2011.5970507},
  doi       = {10.1109/MEMCOD.2011.5970507},
  timestamp = {Sun, 04 Jun 2017 10:04:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/YuTBGMG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memocode/2011,
  editor    = {Satnam Singh and
               Barbara Jobstmann and
               Michael Kishinevsky and
               Jens Brandt},
  title     = {9th {IEEE/ACM} International Conference on Formal Methods and Models
               for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5959846},
  isbn      = {978-1-4577-0117-7},
  timestamp = {Fri, 23 Mar 2012 16:49:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier