Verisim: formal analysis of network simulations

Bhargavan, K., Gunter, C.A., Moonjoo Kim, Insup Lee, Obradovic, D., Sokolsky, O., Viswanathan, M.

Avez-vous aimé ce livre?

Quelle est la qualité du fichier téléchargé?

Veuillez télécharger le livre pour apprécier sa qualité

Quelle est la qualité des fichiers téléchargés?

Volume:

Année:

2002

Langue:

english

DOI:

10.1109/32.988495

Fichier:

PDF, 463 KB

english, 2002

La conversion en est effectuée

La conversion en a échoué