Reference:

Nuno P. Lopes and Andrey Rybalchenko. Distributed and predictable software model checking. In Jhala and Schmidt, pages 340–355.

Suggested BibTeX entry:

@inproceedings{DBLP:confvmcaiLopesR11,
    author = {Nuno P. Lopes and Andrey Rybalchenko},
    booktitle = {VMCAI},
    editor = {Ranjit Jhala and David A. Schmidt},
    pages = {340-355},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Distributed and Predictable Software Model Checking},
    volume = {6538},
    year = {2011}
}