-
Selection by year
-
Selection by authors
-
Complete lists
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.
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)