BibTeX record conf/csse/WuC08b

• > Home > conf/csse/WuC08b

@inproceedings{DBLP:conf/csse/WuC08b,
  author       = {Wei{-}Min Wu and
                  Min{-}Chuan Chen},
  title        = {{USAT:} An Integrated Platform for Satisfiability Solving and Model
                  Checking},
  booktitle    = {International Conference on Computer Science and Software Engineering,
                  {CSSE} 2008, Volume 4: Embedded Programming / Database Technology
                  / Neural Networks and Applications / Other Applications, December
                  12-14, 2008, Wuhan, China},
  pages        = {87--90},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/CSSE.2008.1352},
  doi          = {10.1109/CSSE.2008.1352},
  timestamp    = {Thu, 23 Mar 2023 23:58:48 +0100},
  biburl       = {https://dblp.org/rec/conf/csse/WuC08b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}