%0 Journal Article %1 journals/corr/abs-1909-06112 %A Salamati, Mahmoud %A Soudjani, Sadegh %A Majumdar, Rupak %D 2019 %J CoRR %K dblp %T Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs. %U http://dblp.uni-trier.de/db/journals/corr/corr1909.html#abs-1909-06112 %V abs/1909.06112

@article{journals/corr/abs-1909-06112, added-at = {2019-09-18T00:00:00.000+0200}, author = {Salamati, Mahmoud and Soudjani, Sadegh and Majumdar, Rupak}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a380793a869f1d92abc8288e606b55d1/dblp}, ee = {http://arxiv.org/abs/1909.06112}, interhash = {41c042f86ddc65c3efdb2313f61452b4}, intrahash = {a380793a869f1d92abc8288e606b55d1}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T10:10:03.000+0200}, title = {Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1909.html#abs-1909-06112}, volume = {abs/1909.06112}, year = 2019 }