TY  - RPRT
TI  - Generalization Strategies for the Verification of Infinite State Systems
AU  - Fabio Fioravanti
AU  - Alberto Pettorossi
AU  - Maurizio Proietti
AU  - Valerio Senni
PY  - 2011
UR  - https://arxiv.org/abs/1110.0999
ID  - 1110.0999
ER  -