Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Bounded Retransmission in Event-B∥CSP: a Case Study

Electronic Notes in Theoretical Computer Science 2011 Vol. 280; Iss. none

Bounded Retransmission in Event-B∥CSP: a Case Study

Steve Schneider, Helen Treharne, Heike Wehrheim
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:
280
Année:
2011
Langue:
english
Pages:
12
DOI:
10.1016/j.entcs.2011.11.019
Fichier:
PDF, 276 KB
english, 2011
La conversion en est effectuée
La conversion en a échoué