@Article{         KatoenSongZhang,
  Author        = "Katoen, Joost-Pieter and Song, Lei and Zhang, Lijun",
  date-added    = "2014-04-26 05:55:48 +0000",
  date-modified = "2014-04-26 05:55:52 +0000",
  EPrint        = "1401.7171",
  Month         = "01",
  Title         = "Probably Safe or Live",
  URL           = "http://arxiv.org/abs/1401.7171",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1401.7171",
  File          = "Probably Safe or Live - Katoen, Song, Zhang (0) (0) - a - a - w.pdf"
}

@Article{ KatoenSongZhang, Author = "Katoen, Joost-Pieter and Song, Lei and Zhang, Lijun", date-added = "2014-04-26 05:55:48 +0000", date-modified = "2014-04-26 05:55:52 +0000", EPrint = "1401.7171", Month = "01", Title = "Probably Safe or Live", URL = "http://arxiv.org/abs/1401.7171", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1401.7171", File = "Probably Safe or Live - Katoen, Song, Zhang (0) (0) - a - a - w.pdf" }