Büchi Types for Infinite Traces and Liveness. Hofmann 0001, M. & Chen, W. CoRR, 2014.
Büchi Types for Infinite Traces and Liveness [link]Paper  bibtex   
@article{ dblp2054467,
  title = {Büchi Types for Infinite Traces and Liveness},
  author = {Martin Hofmann 0001 and Wei Chen},
  author_short = {Hofmann 0001, M. and Chen, W.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp2054467},
  id = {dblp2054467},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/HofmannC14},
  url = {http://arxiv.org/abs/1401.5107},
  journal = {CoRR},
  volume = {abs/1401.5107},
  text = {CoRR abs/1401.5107 (2014)}
}

Downloads: 0