@article{GM12,
title = {Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs },
author = {Gawlitza, Thomas and Monniaux, David},
year = {2012},
note = {To appear},
journal = {Logical Methods in Computer Science},
team = {SYNC,PACSS},
}
