@article{Zuck_2004,
    doi = {10.1016/j.cl.2004.02.006},
    url = {https://doi.org/10.1016%2Fj.cl.2004.02.006},
    year = {2004},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {30},
    number = {3-4},
    pages = {139--169},
    author = {Lenore Zuck and Amir Pnueli},
    title = {Model checking and abstraction to the aid of parameterized systems (a survey)},
    journal = {Computer Languages, Systems {\&} Structures}
}

@article{Zuck_2004, doi = {10.1016/j.cl.2004.02.006}, url = {https://doi.org/10.1016%2Fj.cl.2004.02.006}, year = {2004}, month = {oct}, publisher = {Elsevier {BV}}, volume = {30}, number = {3-4}, pages = {139--169}, author = {Lenore Zuck and Amir Pnueli}, title = {Model checking and abstraction to the aid of parameterized systems (a survey)}, journal = {Computer Languages, Systems {\&} Structures} }