@InProceedings{   NeykovaBocchiYoshida,
  Author        = "Neykova, Rumyana and Bocchi, Laura and Yoshida, Nobuko",
  Editor        = "Carbone, Marco",
  BookTitle     = "Proc. of BEAT'14",
  date-added    = "2014-11-10 12:21:21 +0000",
  date-modified = "2014-11-10 12:22:05 +0000",
  Title         = "Timed Runtime Monitoring for Multiparty Conversations",
  Year          = "2014",
  File          = "Timed Runtime Monitoring for Multiparty Conversations - Neykova, Bocchi, Yoshida (0) (0) - a - a - h.pdf"
}

@InProceedings{ NeykovaBocchiYoshida, Author = "Neykova, Rumyana and Bocchi, Laura and Yoshida, Nobuko", Editor = "Carbone, Marco", BookTitle = "Proc. of BEAT'14", date-added = "2014-11-10 12:21:21 +0000", date-modified = "2014-11-10 12:22:05 +0000", Title = "Timed Runtime Monitoring for Multiparty Conversations", Year = "2014", File = "Timed Runtime Monitoring for Multiparty Conversations - Neykova, Bocchi, Yoshida (0) (0) - a - a - h.pdf" }