%0 Conference Proceedings
%F randour:hal-01248766
%A Randour, M.
%A Raskin, J-F
%A Sankur, O.
%T Variations on the Stochastic Shortest Path Problem
%B Verification, Model Checking, and Abstract Interpretation
%C Mumbai, India
%U http://dx.doi.org/10.1007/978-3-662-46081-8\_1
%8 January
%D 2015