Jump to : Contact | BibTex reference | EndNote reference |

bazille:hal-01943401

H. Bazille, E. Fabre, B. Genest. Complexity reduction techniques for quantified diagnosability of stochastic systems. In WODES'18, Sorrento Coast, Italy, 2018.

Contact

Eric Fabre http://people.rennes.inria.fr/Eric.Fabre/
Blaise Genest http://perso.crans.org/~genest/

BibTex Reference

@InProceedings{bazille:hal-01943401,
   Author = {Bazille, H. and Fabre, E. and Genest, B.},
   Title = {{Complexity reduction techniques for quantified diagnosability of stochastic systems}},
   BookTitle = {{WODES'18}},
   Address = {Sorrento Coast, Italy},
   Year = {2018}
}

EndNote Reference [help]

Get EndNote Reference (.ref)