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