@Misc{            Kuske:2018aa,
  Author        = "Kuske, Dietrich and Muscholl, Anca",
  date-added    = "2018-09-10 15:47:51 +0000",
  date-modified = "2018-09-10 15:48:09 +0000",
  Keywords      = "communicating automata",
  Title         = "Communicating automata",
  Year          = "2018",
  File          = "cfm-final (0) - a - a - l.pdf"
}

@Misc{ Kuske:2018aa, Author = "Kuske, Dietrich and Muscholl, Anca", date-added = "2018-09-10 15:47:51 +0000", date-modified = "2018-09-10 15:48:09 +0000", Keywords = "communicating automata", Title = "Communicating automata", Year = "2018", File = "cfm-final (0) - a - a - l.pdf" }