?url_ver=Z39.88-2004&rft_id=10.1007%2F3-540-46691-6_31&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Corradini%2C+Flavio&rft.aufirst=Flavio&rft.aulast=Corradini&rft.title=Graded+Modalities+and+Resource+Bisimulation&rft.btitle=FSTTCS&rft.isbn=3-540-66836-5&rft.date=1999&rft.genre=bookitem