Communication Dans Un Congrès
Année : 2015
Ocan Sankur : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01248766
Soumis le : lundi 28 décembre 2015-15:39:19
Dernière modification le : mercredi 28 août 2024-03:17:29
Citer
Mickaël Randour, Jean-François Raskin, Ocan Sankur. Variations on the Stochastic Shortest Path Problem. Verification, Model Checking, and Abstract Interpretation, Jan 2015, Mumbai, India. ⟨10.1007/978-3-662-46081-8_1⟩. ⟨hal-01248766⟩
Collections
196
Consultations
0
Téléchargements