@Article{         springerlink:10.1007/BF00121127,
  Author        = "Fernandez, Jean-Claude and Mounier, Laurent and Jard, Claude and J{\'e}ron, Thierry",
  date-added    = "2012-10-05 14:11:59 +0000",
  date-modified = "2012-10-26 09:19:07 +0000",
  ISSN          = "0925-9856",
  Issue         = "2",
  Journal       = "Formal Methods in System Design",
  keyword       = "Engineering",
  Keywords      = "model checking",
  Note          = "10.1007/BF00121127",
  Pages         = "251-273",
  Publisher     = "Springer Netherlands",
  Title         = "On-the-fly verification of finite transition systems",
  URL           = "http://dx.doi.org/10.1007/BF00121127",
  Volume        = "1",
  Year          = "1992",
  bdsk-url-1    = "http://dx.doi.org/10.1007/BF00121127",
  File          = "On-the-fly verification of finite transition systems - Fernandez, Mounier, Jard, Jéron (0) (0) - a - a - l.pdf"
}

@Article{ springerlink:10.1007/BF00121127, Author = "Fernandez, Jean-Claude and Mounier, Laurent and Jard, Claude and J{\'e}ron, Thierry", date-added = "2012-10-05 14:11:59 +0000", date-modified = "2012-10-26 09:19:07 +0000", ISSN = "0925-9856", Issue = "2", Journal = "Formal Methods in System Design", keyword = "Engineering", Keywords = "model checking", Note = "10.1007/BF00121127", Pages = "251-273", Publisher = "Springer Netherlands", Title = "On-the-fly verification of finite transition systems", URL = "http://dx.doi.org/10.1007/BF00121127", Volume = "1", Year = "1992", bdsk-url-1 = "http://dx.doi.org/10.1007/BF00121127", File = "On-the-fly verification of finite transition systems - Fernandez, Mounier, Jard, Jéron (0) (0) - a - a - l.pdf" }