?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=Fioravanti&rft.au=Fioravanti%2C+Fabio&rft.aufirst=Fabio&rft.btitle=Proceedings+of+the+25th+Italian+Conference+on+Computational+Logic&rft.title=Generalization+Strategies+for+the+Verification+of+Infinite+State+Systems&rft.genre=bookitem