@InProceedings{   Finkbeiner/01/Language,
  Author        = "Finkbeiner, Bernd",
  BookTitle     = "7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
  date-added    = "2014-01-16 15:53:10 +0000",
  date-modified = "2014-01-16 15:53:10 +0000",
  editors       = "Tiziana Margaria and Wang Yi",
  Pages         = "24--38",
  Publisher     = "Springer-Verlag",
  Series        = "LNCS",
  Title         = "Language Containment Checking With Nondeterministic {BDD}s",
  Volume        = "2031",
  Year          = "2001",
  bdsk-url-1    = "http://link.springer.com/chapter/10.1007\%2F3-540-45319-9\_3\#page-1",
  File          = "Language Containment Checking With Nondeterministic BDDs - Finkbeiner (1) (0) - a - a - v.pdf",
  file-2        = "Language Containment Checking With Nondeterministic BDDs - Finkbeiner (0) (0) - a - a - v.pdf"
}

@InProceedings{ Finkbeiner/01/Language, Author = "Finkbeiner, Bernd", BookTitle = "7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)", date-added = "2014-01-16 15:53:10 +0000", date-modified = "2014-01-16 15:53:10 +0000", editors = "Tiziana Margaria and Wang Yi", Pages = "24--38", Publisher = "Springer-Verlag", Series = "LNCS", Title = "Language Containment Checking With Nondeterministic {BDD}s", Volume = "2031", Year = "2001", bdsk-url-1 = "http://link.springer.com/chapter/10.1007\%2F3-540-45319-9_3#page-1", File = "Language Containment Checking With Nondeterministic BDDs - Finkbeiner (1) (0) - a - a - v.pdf", file-2 = "Language Containment Checking With Nondeterministic BDDs - Finkbeiner (0) (0) - a - a - v.pdf" }