%0 Conference Paper %1 conf/appt/ZhouYWRHC13 %A Zhou, Kuanjiu %A Yong, Jiawei %A Wang, Xiaolong %A Ren, Longtao %A Hou, Gang %A Chang, Junwang %B APPT %D 2013 %E Wu, Chenggang %E Cohen, Albert %I Springer %K dblp %P 347-358 %T Accelerating Software Model Checking Based on Program Backbone. %U http://dblp.uni-trier.de/db/conf/appt/appt2013.html#ZhouYWRHC13 %V 8299 %@ 978-3-642-45292-5

@inproceedings{conf/appt/ZhouYWRHC13, added-at = {2017-05-21T00:00:00.000+0200}, author = {Zhou, Kuanjiu and Yong, Jiawei and Wang, Xiaolong and Ren, Longtao and Hou, Gang and Chang, Junwang}, biburl = {https://www.bibsonomy.org/bibtex/2485ce8cd9ca8b1b878b30dffae9a1b0b/dblp}, booktitle = {APPT}, crossref = {conf/appt/2013}, editor = {Wu, Chenggang and Cohen, Albert}, ee = {https://doi.org/10.1007/978-3-642-45293-2_26}, interhash = {31c686a00e2e11779a994856bbc0600e}, intrahash = {485ce8cd9ca8b1b878b30dffae9a1b0b}, isbn = {978-3-642-45292-5}, keywords = {dblp}, pages = {347-358}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:32:28.000+0200}, title = {Accelerating Software Model Checking Based on Program Backbone.}, url = {http://dblp.uni-trier.de/db/conf/appt/appt2013.html#ZhouYWRHC13}, volume = 8299, year = 2013 }