Jump to : Download | Contact | BibTex reference | EndNote reference |


N. Bertrand, P. Bouyer, T. Brihaye, P. Carlier. When are stochastic transition systems tameable?. Journal of Logical and Algebraic Methods in Programming, 99:41-96, 2018.

Download [help]

Download paper: Doi page

Download Hal paper: Hal : Hyper Archive en ligne


Nathalie Bertrand http://www.irisa.fr/prive/nbertran/

BibTex Reference

   Author = {Bertrand, N. and Bouyer, P. and Brihaye, T. and Carlier, P.},
   Title = {{When are stochastic transition systems tameable?}},
   Journal = {{Journal of Logical and Algebraic Methods in Programming}},
   Volume = {99},
   Pages = {41--96},
   Publisher = {{Elsevier}},
   Year = {2018}

EndNote Reference [help]

Get EndNote Reference (.ref)