%0 Conference Paper %1 conf/nsdi/LiuLPZ07 %A Liu, Xuezheng %A Lin, Wei %A Pan, Aimin %A Zhang, Zheng %B NSDI %D 2007 %E Balakrishnan, Hari %E Druschel, Peter %I USENIX %K dblp %T WiDS Checker: Combating Bugs in Distributed Systems. %U http://dblp.uni-trier.de/db/conf/nsdi/nsdi2007.html#LiuLPZ07

@inproceedings{conf/nsdi/LiuLPZ07, added-at = {2007-08-28T00:00:00.000+0200}, author = {Liu, Xuezheng and Lin, Wei and Pan, Aimin and Zhang, Zheng}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/214bd1d7241ee8c7349cb412db530874e/dblp}, booktitle = {NSDI}, crossref = {conf/nsdi/2007}, editor = {Balakrishnan, Hari and Druschel, Peter}, ee = {http://www.usenix.org/events/nsdi07/tech/liu.html}, interhash = {6abad453cb8eba2410bfd54d39429d8d}, intrahash = {14bd1d7241ee8c7349cb412db530874e}, keywords = {dblp}, publisher = {USENIX}, timestamp = {2016-02-02T12:04:54.000+0100}, title = {WiDS Checker: Combating Bugs in Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/nsdi/nsdi2007.html#LiuLPZ07}, year = 2007 }