@inproceedings{DBLP:conf/cav/BustanRV04,
  author    = {Doron Bustan and
               Sasha Rubin and
               Moshe Y. Vardi},
  title     = {Verifying omega-Regular Properties of Markov Chains},
  booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
               2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  pages     = {189--201},
  year      = {2004},
  optcrossref  = {DBLP:conf/cav/2004},
  opturl       = {http://dx.optdoi.org/10.1007/978-3-540-27813-9_15},
  optdoi       = {10.1007/978-3-540-27813-9_15},
  timestamp = {Fri, 12 Feb 2016 07:36:53 +0100},
  bibopturl    = {http://dblp.uni-trier.de/rec/bib/conf/cav/BustanRV04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"e2XLBt6tPBvFfmHpQ","bibbaseid":"bustan-rubin-vardi-verifyingomegaregularpropertiesofmarkovchains-2004","downloads":0,"creationDate":"2017-07-25T20:26:33.840Z","title":"Verifying omega-Regular Properties of Markov Chains","author_short":["Bustan, D.","Rubin, S.","Vardi, M. Y."],"year":2004,"bibtype":"inproceedings","biburl":"http://sasharubin.github.io/rubin.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Doron"],"propositions":[],"lastnames":["Bustan"],"suffixes":[]},{"firstnames":["Sasha"],"propositions":[],"lastnames":["Rubin"],"suffixes":[]},{"firstnames":["Moshe","Y."],"propositions":[],"lastnames":["Vardi"],"suffixes":[]}],"title":"Verifying omega-Regular Properties of Markov Chains","booktitle":"Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings","pages":"189--201","year":"2004","optcrossref":"DBLP:conf/cav/2004","opturl":"http://dx.optdoi.org/10.1007/978-3-540-27813-9_15","optdoi":"10.1007/978-3-540-27813-9_15","timestamp":"Fri, 12 Feb 2016 07:36:53 +0100","bibopturl":"http://dblp.uni-trier.de/rec/bib/conf/cav/BustanRV04","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/cav/BustanRV04,\n author = {Doron Bustan and\n Sasha Rubin and\n Moshe Y. Vardi},\n title = {Verifying omega-Regular Properties of Markov Chains},\n booktitle = {Computer Aided Verification, 16th International Conference, {CAV}\n 2004, Boston, MA, USA, July 13-17, 2004, Proceedings},\n pages = {189--201},\n year = {2004},\n optcrossref = {DBLP:conf/cav/2004},\n opturl = {http://dx.optdoi.org/10.1007/978-3-540-27813-9_15},\n optdoi = {10.1007/978-3-540-27813-9_15},\n timestamp = {Fri, 12 Feb 2016 07:36:53 +0100},\n bibopturl = {http://dblp.uni-trier.de/rec/bib/conf/cav/BustanRV04},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Bustan, D.","Rubin, S.","Vardi, M. Y."],"key":"DBLP:conf/cav/BustanRV04","id":"DBLP:conf/cav/BustanRV04","bibbaseid":"bustan-rubin-vardi-verifyingomegaregularpropertiesofmarkovchains-2004","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["verifying","omega","regular","properties","markov","chains","bustan","rubin","vardi"],"keywords":[],"authorIDs":["5977a979f9f6dc600400002b"],"dataSources":["iYnHSPRrFF76W8ptK"]}