@Article{         Hofmann:2014uq,
  Author        = "Hofmann, Martin and Chen, Wei",
  date-added    = "2014-06-26 13:24:47 +0000",
  date-modified = "2014-06-26 13:24:50 +0000",
  EPrint        = "1401.5107",
  Month         = "01",
  Title         = {B{\"u}chi Types for Infinite Traces and Liveness},
  URL           = "http://arxiv.org/abs/1401.5107",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1401.5107",
  File          = "Büchi Types for Infinite Traces and Liveness - Hofmann, Chen (0) (0) - a - a - s.pdf"
}

@Article{ Hofmann:2014uq, Author = "Hofmann, Martin and Chen, Wei", date-added = "2014-06-26 13:24:47 +0000", date-modified = "2014-06-26 13:24:50 +0000", EPrint = "1401.5107", Month = "01", Title = {B{\"u}chi Types for Infinite Traces and Liveness}, URL = "http://arxiv.org/abs/1401.5107", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1401.5107", File = "Büchi Types for Infinite Traces and Liveness - Hofmann, Chen (0) (0) - a - a - s.pdf" }