BibTeX record conf/cscwd/DengWB06a

download as .bib file

@inproceedings{DBLP:conf/cscwd/DengWB06a,
  author    = {Shujun Deng and
               Weimin Wu and
               Jinian Bian},
  title     = {Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction
               with Hybrid Three-Valued {SAT} Solving},
  booktitle = {Computer Supported Cooperative Work in Design III, 10th International
               Conference, {CSCWD} 2006, Nanjing, China, May 3-5, 2006, Revised Selected
               Papers},
  pages     = {297--307},
  year      = {2006},
  crossref  = {DBLP:conf/cscwd/2006lncs},
  url       = {https://doi.org/10.1007/978-3-540-72863-4\_31},
  doi       = {10.1007/978-3-540-72863-4\_31},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cscwd/DengWB06a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cscwd/2006lncs,
  editor    = {Weiming Shen and
               Junzhou Luo and
               Zongkai Lin and
               Jean{-}Paul A. Barth{\`{e}}s and
               Qi Hao},
  title     = {Computer Supported Cooperative Work in Design III, 10th International
               Conference, {CSCWD} 2006, Nanjing, China, May 3-5, 2006, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4402},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-72863-4},
  doi       = {10.1007/978-3-540-72863-4},
  isbn      = {978-3-540-72862-7},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cscwd/2006lncs},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics