?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-642-24288-5_15&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=Fioravanti&rft.aufirst=Fabio&rft.au=Fioravanti%2C+Fabio&rft.isbn=978-3-642-24287-8&rft.btitle=Reachability+Problems%3A+Proceedings+of+the+5th+International+Workshop%2C+RP+2011&rft.date=2011&rft.title=Improving+Reachability+Analysis+of+Infinite+State+Systems+by+Specialization&rft.genre=bookitem