Büchi Types for Infinite Traces and Liveness. Hofmann 0001, M. & Chen, W. CoRR, 2014. 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
{"_id":{"_str":"53999be577ca42a10100210c"},"__v":0,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M.","Chen, W."],"bibbaseid":"hofmann0001-chen-bchitypesforinfinitetracesandliveness-2014","bibdata":{"title":"Büchi Types for Infinite Traces and Liveness","author":["Martin Hofmann 0001","Wei Chen"],"author_short":["Hofmann 0001, M.","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)","bibtex":"@article{ dblp2054467,\n title = {Büchi Types for Infinite Traces and Liveness},\n author = {Martin Hofmann 0001 and Wei Chen},\n author_short = {Hofmann 0001, M. and Chen, W.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp2054467},\n id = {dblp2054467},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/HofmannC14},\n url = {http://arxiv.org/abs/1401.5107},\n journal = {CoRR},\n volume = {abs/1401.5107},\n text = {CoRR abs/1401.5107 (2014)}\n}","bibbaseid":"hofmann0001-chen-bchitypesforinfinitetracesandliveness-2014","role":"author","urls":{"Paper":"http://arxiv.org/abs/1401.5107"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/HofmannC14","downloads":0,"keywords":[],"search_terms":["chi","types","infinite","traces","liveness","hofmann 0001","chen"],"title":"Büchi Types for Infinite Traces and Liveness","year":2014,"dataSources":["zwYFnXwHnaT5yA8tj"]}