@InProceedings{   BouyerMarkeyOuaknineSchnoebelenWorrell,
  Author        = "Bouyer, Patricia and Markey, Nicolas and Ouaknine, Joel and Schnoebelen, Philippe and Worrell, James",
  BookTitle     = "Symposium on Theoretical Aspects of Computer Science",
  date-added    = "2013-10-17 13:52:41 +0000",
  date-modified = "2013-10-17 17:04:53 +0000",
  Pages         = "1--12",
  Title         = "On Termination for Faulty Channel Systems",
  Year          = "2008",
  File          = "On Termination for Faulty Channel Systems - Bouyer, Markey, Ouaknine, Schnoebelen, Worrell (0) (0) - a - a - d.pdf"
}

@InProceedings{ BouyerMarkeyOuaknineSchnoebelenWorrell, Author = "Bouyer, Patricia and Markey, Nicolas and Ouaknine, Joel and Schnoebelen, Philippe and Worrell, James", BookTitle = "Symposium on Theoretical Aspects of Computer Science", date-added = "2013-10-17 13:52:41 +0000", date-modified = "2013-10-17 17:04:53 +0000", Pages = "1--12", Title = "On Termination for Faulty Channel Systems", Year = "2008", File = "On Termination for Faulty Channel Systems - Bouyer, Markey, Ouaknine, Schnoebelen, Worrell (0) (0) - a - a - d.pdf" }