@inproceedings{DBLP:conf/nsdi/KillianAJV07,
author = {Charles Edwin Killian and
James W. Anderson and
Ranjit Jhala and
Amin Vahdat},
title = {Life, Death, and the Critical Transition: Finding Liveness
Bugs in Systems Code (Awarded Best Paper)},
booktitle = {NSDI},
year = {2007},
ee = {http://www.usenix.org/events/nsdi07/tech/killian.html},
crossref = {DBLP:conf/nsdi/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/nsdi/2007,
title = {4th Symposium on Networked Systems Design and Implementation
(NSDI 2007), April 11-13, 2007, Cambridge, Massachusetts,
USA, Proceedings},
booktitle = {NSDI},
publisher = {USENIX},
year = {2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2006-10-02 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
