{"_id":{"_str":"52022574d40bcbb041000b62"},"__v":8,"authorIDs":["5458ab55b43425b772000191"],"author_short":["Jamroga, W."],"bibbaseid":"jamroga-atemporallogicformarkovchains-2008","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Wojciech"],"propositions":[],"lastnames":["Jamroga"],"suffixes":[]}],"title":"A temporal logic for Markov chains","booktitle":"7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 2","pages":"697-704","ee":"http://doi.acm.org/10.1145/1402298.1402321","year":"2008","bibtex":"@inproceedings{ DBLP:conf/atal/Jamroga08,\n author = {Wojciech Jamroga},\n title = {A temporal logic for Markov chains},\n booktitle = {7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 2},\n pages = {697-704},\n ee = {http://doi.acm.org/10.1145/1402298.1402321} ,\n year = {2008}\n}\n\n\n","author_short":["Jamroga, W."],"key":"DBLP:conf/atal/Jamroga08","id":"DBLP:conf/atal/Jamroga08","bibbaseid":"jamroga-atemporallogicformarkovchains-2008","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/1402298.1402321"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/provenance/httpwwwbibbaseorgdblpjamroga_wojciechbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["temporal","logic","markov","chains","jamroga"],"title":"A temporal logic for Markov chains","title_words":["temporal","logic","markov","chains"],"year":2008,"dataSources":["PtLPL9vBCraumfiPu"]}