@inproceedings{BZ2003,
 address = {Brno, Czech Republic},
 author = {Luboš Brim and Jitka Žídková},
 booktitle = {2st International Workshop on Parallel and Distributed Model Checking (PDMC 2003)},
 edition = {Boulder, Colorado, USA},
 keywords = {verification; model checking},
 language = {eng},
 location = {Brno, Czech Republic},
 pages = {19-34},
 publisher = {Elsevier},
 title = {Using Assumptions to Distribute Alternation Free mu-Calculus Model Checking},
 url = {http://www.elsevier.nl/locate/entcs},
 year = {2003}
}