BibTeX record conf/memocode/2008

download as .bib file

@proceedings{DBLP:conf/memocode/2008,
  title     = {6th {ACM} {\&} {IEEE} International Conference on Formal Methods
               and Models for Co-Design {(MEMOCODE} 2008), June 5-7, 2008, Anaheim,
               CA, {USA}},
  publisher = {{IEEE}},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4542603},
  isbn      = {978-1-4244-2417-7},
  timestamp = {Thu, 06 Nov 2014 17:05:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/memocode/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}