@misc{indiciaea3e2f6b8f953,
  title = {Generalization Strategies for the Verification of Infinite State Systems},
  author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni},
  year = {2011},
  url = {https://arxiv.org/abs/1110.0999},
  note = {Source identifier: 1110.0999}
}