%0 Conference Paper %1 conf/ecbs/BarrosCSZ07 %A Barros, Hugo %A Campos, Sérgio Vale Aguiar %A Song, Mark A. J. %A Zárate, Luis E. %B ECBS %D 2007 %I IEEE Computer Society %K dblp %P 531-538 %T Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. %U http://dblp.uni-trier.de/db/conf/ecbs/ecbs2007.html#BarrosCSZ07 %@ 0-7695-2772-8

@inproceedings{conf/ecbs/BarrosCSZ07, added-at = {2023-04-14T00:00:00.000+0200}, author = {Barros, Hugo and Campos, Sérgio Vale Aguiar and Song, Mark A. J. and Zárate, Luis E.}, biburl = {https://www.bibsonomy.org/bibtex/2f9c9b0a4cc2a4ca4985d4859c4b66877/dblp}, booktitle = {ECBS}, crossref = {conf/ecbs/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/ECBS.2007.40}, interhash = {3a3ebb3e2bfd28875fe855474422caf9}, intrahash = {f9c9b0a4cc2a4ca4985d4859c4b66877}, isbn = {0-7695-2772-8}, keywords = {dblp}, pages = {531-538}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:10:34.000+0200}, title = {Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm.}, url = {http://dblp.uni-trier.de/db/conf/ecbs/ecbs2007.html#BarrosCSZ07}, year = 2007 }