@InProceedings{   Fribourg:LOPSTR:2000,
  Author        = "Fribourg, Laurent",
  Editor        = "Bossi, Annalisa",
  Abstract      = "We review and discuss here some of the existing approaches based on CLP (Constraint Logic Programming) for verifying properties of various kinds of state-transition systems.",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Logic-Based Program Synthesis and Transformation",
  date-added    = "2019-08-17 17:52:23 +0200",
  date-modified = "2019-08-17 18:48:56 +0200",
  ISBN          = "978-3-540-45148-8",
  Pages         = "30--41",
  Publisher     = "Springer Berlin Heidelberg",
  Title         = "Constraint Logic Programming Applied to Model Checking",
  Year          = "2000",
  File          = "[Donald\_Sannella\_(auth.),\_Annalisa\_Bossi\_(eds.)]\_L(z-lib.org) (0) - a - a - o.pdf"
}

@InProceedings{ Fribourg:LOPSTR:2000, Author = "Fribourg, Laurent", Editor = "Bossi, Annalisa", Abstract = "We review and discuss here some of the existing approaches based on CLP (Constraint Logic Programming) for verifying properties of various kinds of state-transition systems.", Address = "Berlin, Heidelberg", BookTitle = "Logic-Based Program Synthesis and Transformation", date-added = "2019-08-17 17:52:23 +0200", date-modified = "2019-08-17 18:48:56 +0200", ISBN = "978-3-540-45148-8", Pages = "30--41", Publisher = "Springer Berlin Heidelberg", Title = "Constraint Logic Programming Applied to Model Checking", Year = "2000", File = "[Donald_Sannella_(auth.),_Annalisa_Bossi_(eds.)]_L(z-lib.org) (0) - a - a - o.pdf" }