%0 Thesis %1 phd/dnb/Ardakani17 %A Hatefi-Ardakani, Hassan %D 2017 %K dblp %T Finite horizon analysis of Markov automata.

@phdthesis{phd/dnb/Ardakani17, added-at = {2021-07-17T00:00:00.000+0200}, author = {Hatefi-Ardakani, Hassan}, biburl = {https://www.bibsonomy.org/bibtex/215d361f2fb1987afd9d972afecc8aac1/dblp}, ee = {https://d-nb.info/1123571473}, interhash = {663ff0ea8ef00a7ad11afd06bf792873}, intrahash = {15d361f2fb1987afd9d972afecc8aac1}, keywords = {dblp}, school = {Saarland University, Germany}, timestamp = {2024-04-09T08:18:15.000+0200}, title = {Finite horizon analysis of Markov automata.}, year = 2017 }