?url_ver=Z39.88-2004&rft_id=10.3233%2FFI-2012-738&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Fioravanti&rft.aufirst=Fabio&rft.au=Fioravanti%2C+Fabio&rft.issue=3-4&rft.pages=281-300&rft.volume=119&rft.date=2012&rft.title=Fundamenta+Informaticae&rft.atitle=Improving+Reachability+Analysis+of+Infinite+State+Systems+by+Specialization+&rft.issn=1875-8681&rft.genre=article