@inproceedings{brim03distribution,
    author = {L. Brim and J. Barnat},
    title = {Distribution of Explicit-State LTL
Model-Checking},
    booktitle = {8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03)},
    series = {Electronic Notes in Theoretical Computer Science},
    volume = {80},
    publisher = {Elsevier},
    editor = {Thomas Arts and Wan Fokkink},
    year = {2003}
}