@inproceedings{
    EytaniLatvala:HVC06,
    author = "Eytani, Yaniv and Latvala, Timo",
    publisher = "Springer-Verlag",
    title = "Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the Second Haifa Verification Conference",
    year = "2007",
    juforank = "1",
    address = "Haifa, Israel",
    owner = "MM",
    pages = "183-197"
}