@Article{         Jancarc,
  Author        = "Jancar, Petr",
  date-added    = "2013-12-01 12:57:30 +0000",
  date-modified = "2013-12-01 12:57:36 +0000",
  EPrint        = "1305.0516",
  Month         = "05",
  Title         = "Finiteness up to bisimilarity is decidable for pushdown processes",
  URL           = "http://arxiv.org/abs/1305.0516",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1305.0516",
  File          = "Finiteness up to bisimilarity is decidable for pushdown processes - Jancar (0) (0) - a - a - i.pdf",
  file-2        = "1305.0516v2 (0) (0) - a - a - i.pdf"
}

@Article{ Jancarc, Author = "Jancar, Petr", date-added = "2013-12-01 12:57:30 +0000", date-modified = "2013-12-01 12:57:36 +0000", EPrint = "1305.0516", Month = "05", Title = "Finiteness up to bisimilarity is decidable for pushdown processes", URL = "http://arxiv.org/abs/1305.0516", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1305.0516", File = "Finiteness up to bisimilarity is decidable for pushdown processes - Jancar (0) (0) - a - a - i.pdf", file-2 = "1305.0516v2 (0) (0) - a - a - i.pdf" }