@inproceedings{BCY2002,
 address = {Brno, Czech Republic},
 author = {Luboš Brim and Jitka Crhová and Karen Yorav},
 booktitle = {1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002)},
 isbn = {0444512918},
 keywords = {verification; model checking},
 language = {eng},
 location = {Brno, Czech Republic},
 pages = {80-95},
 publisher = {Elsevier},
 title = {Using Assumptions to Distribute CTL Model Checking},
 year = {2002}
}