-
Selection by year
-
Selection by authors
-
Complete lists
bertrand:hal-01938135
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.
Contact
Nathalie Bertrand http://www.irisa.fr/prive/nbertran/
BibTex Reference
@article{bertrand:hal-01938135,
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)