%0 Conference Paper %1 conf/sosp/GuoWZHYZ11 %A Guo, Huayang %A Wu, Ming %A Zhou, Lidong %A Hu, Gang %A Yang, Junfeng %A Zhang, Lintao %B SOSP %D 2011 %E Wobber, Ted %E Druschel, Peter %I ACM %K dblp %P 265-278 %T Practical software model checking via dynamic interface reduction. %U http://dblp.uni-trier.de/db/conf/sosp/sosp2011.html#GuoWZHYZ11 %@ 978-1-4503-0977-6

@inproceedings{conf/sosp/GuoWZHYZ11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Guo, Huayang and Wu, Ming and Zhou, Lidong and Hu, Gang and Yang, Junfeng and Zhang, Lintao}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25e809fde63cd1dd56cbb71f7505db53e/dblp}, booktitle = {SOSP}, crossref = {conf/sosp/2011}, editor = {Wobber, Ted and Druschel, Peter}, ee = {https://doi.org/10.1145/2043556.2043582}, interhash = {41168d608034d4d213ad2259f51ef549}, intrahash = {5e809fde63cd1dd56cbb71f7505db53e}, isbn = {978-1-4503-0977-6}, keywords = {dblp}, pages = {265-278}, publisher = {ACM}, timestamp = {2019-09-27T15:42:05.000+0200}, title = {Practical software model checking via dynamic interface reduction.}, url = {http://dblp.uni-trier.de/db/conf/sosp/sosp2011.html#GuoWZHYZ11}, year = 2011 }