@inproceedings{brim02assumptions,
    author = {Lubos Brim, Jitka Crhova and Karen Yorav},
    title = {Using Assumptions to Distribute CTL Model Checking},
    booktitle = {Electronic Notes in Theoretical Computer Science},
    volume = {68},
    issue = {4},
    publisher = {Elsevier Science Publishers},
    editor = {Lubos Brim and Orna Grumberg},
    year = {2002}
}