@InProceedings{   HutagalungLange,
  Author        = "Hutagalung, Milka and Lange, Martin",
  BookTitle     = "Proc. of CSR'14",
  date-added    = "2014-03-21 07:08:44 +0000",
  date-modified = "2014-03-21 07:09:13 +0000",
  Title         = "Model Checking for String Problems",
  Year          = "2014",
  File          = "Model Checking for String Problems - Hutagalung, Lange (0) (0) - a - a - w.pdf"
}

@InProceedings{ HutagalungLange, Author = "Hutagalung, Milka and Lange, Martin", BookTitle = "Proc. of CSR'14", date-added = "2014-03-21 07:08:44 +0000", date-modified = "2014-03-21 07:09:13 +0000", Title = "Model Checking for String Problems", Year = "2014", File = "Model Checking for String Problems - Hutagalung, Lange (0) (0) - a - a - w.pdf" }