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 : vendredi 24 mars 2023-14:53:01
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
191
Consultations
0
Téléchargements