BibTeX record: conf/icdcs/CaoSWXCWW08

download as .bib file

@inproceedings{DBLP:conf/icdcs/CaoSWXCWW08,
  author    = {Yunan Cao and
               Zili Shao and
               Meng Wang and
               Chun Jason Xue and
               Youdong Chen and
               Hongxing Wei and
               Tianmiao Wang},
  title     = {A Formal Specification and Verification Framework for Designing and
               Verifying Reliable and Dependable Software for Computerized Numerical
               Control {(CNC)} Systems},
  booktitle = {28th {IEEE} International Conference on Distributed Computing Systems
               {(ICDCS} 2008), 17-20 June 2008, Beijing, China},
  year      = {2008},
  pages     = {269--276},
  crossref  = {DBLP:conf/icdcs/2008},
  url       = {http://dx.doi.org/10.1109/ICDCS.2008.21},
  doi       = {10.1109/ICDCS.2008.21},
  timestamp = {Sat, 25 Oct 2014 02:46:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icdcs/CaoSWXCWW08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icdcs/2008,
  title     = {28th {IEEE} International Conference on Distributed Computing Systems
               {(ICDCS} 2008), 17-20 June 2008, Beijing, China},
  year      = {2008},
  publisher = {{IEEE} Computer Society},
  url       = {http://www.computer.org/csdl/proceedings/icdcs/2008/3172/00/index.html},
  isbn      = {978-0-7695-3172-4},
  timestamp = {Sat, 25 Oct 2014 02:46:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icdcs/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}