@Article{         springerlink:10.1023/A:1008719024240,
  Author        = "Boigelot, Bernard and Godefroid, Patrice",
  date-added    = "2012-10-23 13:12:36 +0000",
  date-modified = "2012-12-27 12:27:30 +0000",
  ISSN          = "0925-9856",
  Issue         = "3",
  Journal       = "Formal Methods in System Design",
  Keywords      = "communicating automata and readme",
  Note          = "10.1023/A:1008719024240",
  Pages         = "237-255",
  Publisher     = "Springer Netherlands",
  Title         = "Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs",
  URL           = "http://dx.doi.org/10.1023/A:1008719024240",
  Volume        = "14",
  Year          = "1999",
  bdsk-url-1    = "http://dx.doi.org/10.1023/A:1008719024240",
  File          = "Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs - Boigelot, Godefroid (0) (0) - a - a - n.pdf"
}

@Article{ springerlink:10.1023/A:1008719024240, Author = "Boigelot, Bernard and Godefroid, Patrice", date-added = "2012-10-23 13:12:36 +0000", date-modified = "2012-12-27 12:27:30 +0000", ISSN = "0925-9856", Issue = "3", Journal = "Formal Methods in System Design", Keywords = "communicating automata and readme", Note = "10.1023/A:1008719024240", Pages = "237-255", Publisher = "Springer Netherlands", Title = "Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs", URL = "http://dx.doi.org/10.1023/A:1008719024240", Volume = "14", Year = "1999", bdsk-url-1 = "http://dx.doi.org/10.1023/A:1008719024240", File = "Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs - Boigelot, Godefroid (0) (0) - a - a - n.pdf" }