@article{Gawlitza_2012,
    doi = {10.2168/lmcs-8(3:29)2012},
    url = {https://doi.org/10.2168%2Flmcs-8%283%3A29%292012},
    year = {2012},
    month = {sep},
    publisher = {Centre pour la Communication Scientifique Directe ({CCSD})},
    volume = {Volume 8, Issue 3},
    author = {Thomas Martin Gawlitza and David Monniaux},
    title = {Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs},
    journal = {Logical Methods in Computer Science}
}

@article{Gawlitza_2012, doi = {10.2168/lmcs-8(3:29)2012}, url = {https://doi.org/10.2168%2Flmcs-8%283%3A29%292012}, year = {2012}, month = {sep}, publisher = {Centre pour la Communication Scientifique Directe ({CCSD})}, volume = {Volume 8, Issue 3}, author = {Thomas Martin Gawlitza and David Monniaux}, title = {Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs}, journal = {Logical Methods in Computer Science} }