BibTeX record conf/ecbs/BarrosCSZ07

• > Home > conf/ecbs/BarrosCSZ07

@inproceedings{DBLP:conf/ecbs/BarrosCSZ07,
  author       = {Hugo Barros and
                  S{\'{e}}rgio Vale Aguiar Campos and
                  Mark A. J. Song and
                  Luis E. Z{\'{a}}rate},
  title        = {Exploring Clause Symmetry in a Distributed Bounded Model Checking
                  Algorithm},
  booktitle    = {14th Annual {IEEE} International Conference and Workshop on Engineering
                  of Computer Based Systems {(ECBS} 2007), 26-29 March 2007, Tucson,
                  Arizona, {USA}},
  pages        = {531--538},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ECBS.2007.40},
  doi          = {10.1109/ECBS.2007.40},
  timestamp    = {Fri, 14 Apr 2023 12:04:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecbs/BarrosCSZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}