@inproceedings{hatefi_improving_2013,
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {Improving {Time} {Bounded} {Reachability} {Computations} in {Interactive} {Markov} {Chains}},
	volume = {8161},
	isbn = {978-3-642-40212-8},
	doi = {10.1007/978-3-642-40213-5_16},
	booktitle = {Fundamentals of {Software} {Engineering} - 5th {International} {Conference}, {FSEN} 2013, {Tehran}, {Iran}, {April} 24-26, 2013, {Revised} {Selected} {Papers}},
	publisher = {Springer},
	author = {Hatefi, Hassan and Hermanns, Holger},
	editor = {Arbab, Farhad and Sirjani, Marjan},
	year = {2013},
	pages = {250--266},
}

{"_id":{"_str":"53bbbace823e1b37040000ce"},"__v":0,"authorIDs":["5457d87e2abc8e9f370007e5","54d6986996f9453b5f00073b"],"author_short":["Hatefi, H.","Hermanns, H."],"bibbaseid":"hatefi-hermanns-improvingtimeboundedreachabilitycomputationsininteractivemarkovchains-2013","bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"Lecture Notes in Computer Science","title":"Improving Time Bounded Reachability Computations in Interactive Markov Chains","volume":"8161","isbn":"978-3-642-40212-8","doi":"10.1007/978-3-642-40213-5_16","booktitle":"Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers","publisher":"Springer","author":[{"propositions":[],"lastnames":["Hatefi"],"firstnames":["Hassan"],"suffixes":[]},{"propositions":[],"lastnames":["Hermanns"],"firstnames":["Holger"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Arbab"],"firstnames":["Farhad"],"suffixes":[]},{"propositions":[],"lastnames":["Sirjani"],"firstnames":["Marjan"],"suffixes":[]}],"year":"2013","pages":"250–266","bibtex":"@inproceedings{hatefi_improving_2013,\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Improving {Time} {Bounded} {Reachability} {Computations} in {Interactive} {Markov} {Chains}},\n\tvolume = {8161},\n\tisbn = {978-3-642-40212-8},\n\tdoi = {10.1007/978-3-642-40213-5_16},\n\tbooktitle = {Fundamentals of {Software} {Engineering} - 5th {International} {Conference}, {FSEN} 2013, {Tehran}, {Iran}, {April} 24-26, 2013, {Revised} {Selected} {Papers}},\n\tpublisher = {Springer},\n\tauthor = {Hatefi, Hassan and Hermanns, Holger},\n\teditor = {Arbab, Farhad and Sirjani, Marjan},\n\tyear = {2013},\n\tpages = {250--266},\n}\n\n","author_short":["Hatefi, H.","Hermanns, H."],"editor_short":["Arbab, F.","Sirjani, M."],"key":"hatefi_improving_2013","id":"hatefi_improving_2013","bibbaseid":"hatefi-hermanns-improvingtimeboundedreachabilitycomputationsininteractivemarkovchains-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://api.zotero.org/users/2539494/collections/QPKDCWZ2/items?key=GQZ7eSblSbBg8hlOjp5OpOAp&format=bibtex&limit=100","creationDate":"2014-07-08T09:33:02.258Z","downloads":1,"keywords":[],"search_terms":["improving","time","bounded","reachability","computations","interactive","markov","chains","hatefi","hermanns"],"title":"Improving Time Bounded Reachability Computations in Interactive Markov Chains","year":2013,"dataSources":["ypi2bjGvbv5c7j2pz"]}