%0 Conference Paper %1 conf/nsdi/KillianAJV07 %A Killian, Charles Edwin %A Anderson, James W. %A Jhala, Ranjit %A Vahdat, Amin %B NSDI %D 2007 %E Balakrishnan, Hari %E Druschel, Peter %I USENIX %K dblp %T Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (Awarded Best Paper). %U http://dblp.uni-trier.de/db/conf/nsdi/nsdi2007.html#KillianAJV07

@inproceedings{conf/nsdi/KillianAJV07, added-at = {2021-02-02T00:00:00.000+0100}, author = {Killian, Charles Edwin and Anderson, James W. and Jhala, Ranjit and Vahdat, Amin}, biburl = {https://www.bibsonomy.org/bibtex/2fd605422dc597c7d8b4a4eab16ec154a/dblp}, booktitle = {NSDI}, crossref = {conf/nsdi/2007}, editor = {Balakrishnan, Hari and Druschel, Peter}, ee = {http://www.usenix.org/events/nsdi07/tech/killian.html}, interhash = {d144f2a480c775478d303ad167a27409}, intrahash = {fd605422dc597c7d8b4a4eab16ec154a}, keywords = {dblp}, publisher = {USENIX}, timestamp = {2024-04-09T18:42:34.000+0200}, title = {Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (Awarded Best Paper).}, url = {http://dblp.uni-trier.de/db/conf/nsdi/nsdi2007.html#KillianAJV07}, year = 2007 }