36358Modèles stochastiques: passage à l'échelle pour le Model Checking [En savoir plus]Stoch-MC - ANR-13-BS02-0011
Blanc 2013 - 2013

Voir les documents associés 

Exporter

• Export XML
• Export RDF