@inproceedings{DBLP:conf/fates/ElmasQT06,
author = {Tayfun Elmas and
Shaz Qadeer and
Serdar Tasiran},
title = {Goldilocks: Efficiently Computing the Happens-Before Relation
Using Locksets},
booktitle = {FATES/RV},
year = {2006},
pages = {193-208},
ee = {http://dx.doi.org/10.1007/11940197_13},
crossref = {DBLP:conf/fates/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fates/2006,
editor = {Klaus Havelund and
Manuel N{\'u}{\~n}ez and
Grigore Rosu and
Burkhart Wolff},
title = {Formal Approaches to Software Testing and Runtime Verification,
First Combined International Workshops, FATES 2006 and RV
2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected
Papers},
booktitle = {FATES/RV},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4262},
year = {2006},
isbn = {3-540-49699-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
