Jump to : Contact | BibTex reference | EndNote reference |

bazille:hal-01943440

H. Bazille, E. Fabre, B. Genest. Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings. In FOSSACS 2018, xx, France, 2018.

Contact

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

BibTex Reference

@InProceedings{bazille:hal-01943440,
   Author = {Bazille, H. and Fabre, E. and Genest, B.},
   Title = {{Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings}},
   BookTitle = {{FOSSACS 2018}},
   Address = {xx, France},
   Year = {2018}
}

EndNote Reference [help]

Get EndNote Reference (.ref)