@Article{         GoudaGurariLaiRosier,
  Author        = "Gouda, Mohamed and Gurari, Eitan and Lai, Ten-Hwang and Rosier, Louis",
  date-added    = "2012-10-11 07:36:13 +0000",
  date-modified = "2013-01-05 22:57:57 +0000",
  Journal       = "Computers and Artificial Intelligence",
  Keywords      = "communicating automata",
  Number        = "3",
  Pages         = "209--228",
  Title         = "On Deadlock Detection in Systems of Communicating Finite State Machines",
  Volume        = "6",
  Year          = "1987",
  File          = "On Deadlock Detection in Systems of Communicating Finite State Machines - Gouda, Gurari, Lai, Rosier (0) (0) - a - a - r.pdf"
}

@Article{ GoudaGurariLaiRosier, Author = "Gouda, Mohamed and Gurari, Eitan and Lai, Ten-Hwang and Rosier, Louis", date-added = "2012-10-11 07:36:13 +0000", date-modified = "2013-01-05 22:57:57 +0000", Journal = "Computers and Artificial Intelligence", Keywords = "communicating automata", Number = "3", Pages = "209--228", Title = "On Deadlock Detection in Systems of Communicating Finite State Machines", Volume = "6", Year = "1987", File = "On Deadlock Detection in Systems of Communicating Finite State Machines - Gouda, Gurari, Lai, Rosier (0) (0) - a - a - r.pdf" }