@Incollection{BDL14b,
   status = {public},
   link = {http://dx.doi.org/10.1007/978-3-319-05119-2_18},
   task = {T2.1},
   publisher = {Springer International Publishing},
   doi = {10.1007/978-3-319-05119-2_18},
   booktitle = {Trustworthy Global Computing},
   series = {Lecture Notes in Computer Science},
   year = {2014},
   isbn = {978-3-319-05118-5},
   invited = {no},
   main = {no},
   title = {{Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations}},
   editor = {Martín Abadi and Alberto Lluch Lafuente},
   author = {Marco Bernardo and Rocco De Nicola and Michele Loreti},
   period = {year4},
   partner = {IMT,UDF},
   wp = {WP2},
   pages = {315-330}
}