@inproceedings{brazdil02distributed,
 author = {Tomáš Brázdil and Ivana Černá},
 booktitle = {Electronic Notes in Theoretical Computer Science},
 editor = {Luboš Brim and Orna Grumberg},
 issue = {4},
 publisher = {Elsevier Science Publishers},
 title = {Local Distributed Model Checking of RegCTL},
 volume = {68},
 year = {2002}
}