@InProceedings{   Esparza:2001:MLR:645870.668687,
  Author        = "Esparza, Javier and Kucera, Anton\'{\i}n and Schwoon, Stefan",
  acmid         = "668687",
  Address       = "London, UK, UK",
  BookTitle     = "Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software",
  date-added    = "2013-04-11 21:22:59 +0000",
  date-modified = "2013-04-11 21:23:31 +0000",
  ISBN          = "3-540-42736-8",
  Keywords      = "pushdown automata and saturation method",
  numpages      = "24",
  Pages         = "316--339",
  Publisher     = "Springer-Verlag",
  Series        = "TACS '01",
  Title         = "Model-Checking LTL with Regular Valuations for Pushdown Systems",
  doi           = {10.5555/645870.668687},
  Year          = "2001",
  File          = "Model-Checking LTL with Regular Valuations for Pushdown Systems - Esparza, Kucera, Schwoon (0) (0) - a - a - w.pdf"
}

@InProceedings{ Esparza:2001:MLR:645870.668687, Author = "Esparza, Javier and Kucera, Anton\'{\i}n and Schwoon, Stefan", acmid = "668687", Address = "London, UK, UK", BookTitle = "Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software", date-added = "2013-04-11 21:22:59 +0000", date-modified = "2013-04-11 21:23:31 +0000", ISBN = "3-540-42736-8", Keywords = "pushdown automata and saturation method", numpages = "24", Pages = "316--339", Publisher = "Springer-Verlag", Series = "TACS '01", Title = "Model-Checking LTL with Regular Valuations for Pushdown Systems", doi = {10.5555/645870.668687}, Year = "2001", File = "Model-Checking LTL with Regular Valuations for Pushdown Systems - Esparza, Kucera, Schwoon (0) (0) - a - a - w.pdf" }