@InCollection{    BurkartCaucalMollerSteffen:2001,
  Author        = "Burkart, O. and Caucal, D. and Moller, F. and Steffen, B.",
  Editor        = "Bergstra, J. and Ponse, A. and Smolka, S.",
  BookTitle     = "Handbook of Process Algebra",
  Chapter       = "9",
  date-added    = "2019-02-28 18:14:49 +0100",
  date-modified = "2019-02-28 18:17:13 +0100",
  Pages         = "545--623",
  Publisher     = "Elsevier Science",
  Title         = "Verification on infinite structures",
  Year          = "2001"
}

@InCollection{ BurkartCaucalMollerSteffen:2001, Author = "Burkart, O. and Caucal, D. and Moller, F. and Steffen, B.", Editor = "Bergstra, J. and Ponse, A. and Smolka, S.", BookTitle = "Handbook of Process Algebra", Chapter = "9", date-added = "2019-02-28 18:14:49 +0100", date-modified = "2019-02-28 18:17:13 +0100", Pages = "545--623", Publisher = "Elsevier Science", Title = "Verification on infinite structures", Year = "2001" }