@article{Ganty_2010,
    doi = {10.1016/j.tcs.2010.05.037},
    url = {https://doi.org/10.1016%2Fj.tcs.2010.05.037},
    year = {2010},
    month = {aug},
    publisher = {Elsevier {BV}},
    volume = {411},
    number = {38-39},
    pages = {3444--3459},
    author = {Pierre Ganty and Nicolas Maquet and Jean-Fran{\c{c}}ois Raskin},
    title = {Fixed point guided abstraction refinement for alternating automata},
    journal = {Theoretical Computer Science}
}

@article{Ganty_2010, doi = {10.1016/j.tcs.2010.05.037}, url = {https://doi.org/10.1016%2Fj.tcs.2010.05.037}, year = {2010}, month = {aug}, publisher = {Elsevier {BV}}, volume = {411}, number = {38-39}, pages = {3444--3459}, author = {Pierre Ganty and Nicolas Maquet and Jean-Fran{\c{c}}ois Raskin}, title = {Fixed point guided abstraction refinement for alternating automata}, journal = {Theoretical Computer Science} }