(English) Model concurrency specification, analysis and refinement

Lien Permanent pour cet article : https://team.inria.fr/aoste/fr/model-concurrency-specification-analysis-and-refinement/

Laisser un commentaire

Your email address will not be published.