%0 Journal Article %1 journals/jcst/LiLS05 %A Li, Xiaowei %A Li, Guanghui %A Shao, Ming %D 2005 %J J. Comput. Sci. Technol. %K dblp %N 1 %P 38-47 %T Formal Verification Techniques Based on Boolean Satisfiability Problem. %U http://dblp.uni-trier.de/db/journals/jcst/jcst20.html#LiLS05 %V 20

@article{journals/jcst/LiLS05, added-at = {2018-08-07T00:00:00.000+0200}, author = {Li, Xiaowei and Li, Guanghui and Shao, Ming}, biburl = {https://www.bibsonomy.org/bibtex/2ebee5d74c9aeccd070ba6769daf3ed5d/dblp}, ee = {https://doi.org/10.1007/s11390-005-0004-6}, interhash = {16015f2cb1eb3c5e6045b7a8449099f0}, intrahash = {ebee5d74c9aeccd070ba6769daf3ed5d}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 1, pages = {38-47}, timestamp = {2018-08-08T11:36:13.000+0200}, title = {Formal Verification Techniques Based on Boolean Satisfiability Problem.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst20.html#LiLS05}, volume = 20, year = 2005 }