@inproceedings{krcal03distributed, author = {Pavel Krcal}, title = {Distributed Explicit Bounded LTL Model Checking}, booktitle = {Electronic Notes in Theoretical Computer Science}, volume = {89}, issue = {1}, publisher = {Elsevier}, editor = {Lubos Brim and Orna Grumberg}, year = {2003} }