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

randour:hal-01248766

M. Randour, J-F Raskin, O. Sankur. Variations on the Stochastic Shortest Path Problem. In Verification, Model Checking, and Abstract Interpretation, Mumbai, India, January 2015.

Download [help]

Download paper: Doi page

Download Hal paper: Hal : Hyper Archive en ligne

Contact

Ocan Sankur http://people.irisa.fr/Ocan.Sankur/

BibTex Reference

@InProceedings{randour:hal-01248766,
   Author = {Randour, M. and Raskin, J-F and Sankur, O.},
   Title = {Variations on the Stochastic Shortest Path Problem},
   BookTitle = {Verification, Model Checking, and Abstract Interpretation},
   Address = {Mumbai, India},
   Month = {January},
   Year = {2015}
}

EndNote Reference [help]

Get EndNote Reference (.ref)