BibTeX record conf/fmcad/2007

download as .bib file

@proceedings{DBLP:conf/fmcad/2007,
  title     = {Formal Methods in Computer-Aided Design, 7th International Conference,
               {FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4401966},
  isbn      = {0-7695-3023-0},
  timestamp = {Fri, 01 Apr 2016 10:10:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier