CaoSWXCWW08'

@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 = {ICDCS},
  year      = {2008},
  pages     = {269-276},
  ee        = {http://dx.doi.org/10.1109/ICDCS.2008.21},
  crossref  = {DBLP:conf/icdcs/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icdcs/2008,
  title     = {28th IEEE International Conference on Distributed Computing
               Systems (ICDCS 2008), 17-20 June 2008, Beijing, China},
  booktitle = {ICDCS},
  publisher = {IEEE Computer Society},
  year      = {2008},
  isbn      = {978-0-7695-3172-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}