%0 Journal Article %1 journals/corr/abs-2207-02045 %A Castro, Pablo F. %A D'Argenio, Pedro R. %A Putruele, Luciano %A Demasi, Ramiro %D 2022 %J CoRR %K dblp %T A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification. %U http://dblp.uni-trier.de/db/journals/corr/corr2207.html#abs-2207-02045 %V abs/2207.02045

@article{journals/corr/abs-2207-02045, added-at = {2022-07-06T00:00:00.000+0200}, author = {Castro, Pablo F. and D'Argenio, Pedro R. and Putruele, Luciano and Demasi, Ramiro}, biburl = {https://www.bibsonomy.org/bibtex/246edfc1f0d3e8c5769021986e751ae0e/dblp}, ee = {https://doi.org/10.48550/arXiv.2207.02045}, interhash = {89c5a6047fe25bcae41a5ec55c750a21}, intrahash = {46edfc1f0d3e8c5769021986e751ae0e}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:23:51.000+0200}, title = {A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2207.html#abs-2207-02045}, volume = {abs/2207.02045}, year = 2022 }