@MastersThesis{BJ:Thesis:2008,
    author     =     {J. Byg and K.Y. Joergensen},
    title     =     {{Regular Model Checking and Verification of Cellular Automata}},
    school     =     {Department of Computer Science, Aalborg University},
    address     =     {Denmark},
    year     =     {2008},
    month     =     {June},
}