?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-319-05119-2_18&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Bernardo%2C+Marco&rft.aulast=Bernardo&rft.aufirst=Marco&rft.title=Group-by-Group+Probabilistic+Bisimilarities+and+Their+Logical+Characterizations&rft.btitle=Trustworthy+Global+Computing&rft.date=2014&rft.isbn=978-3-319-05118-5&rft.genre=bookitem