Jan 09

Model concurrency specification, analysis and refinement

Permanent link to this article: https://team.inria.fr/aoste/model-concurrency-specification-analysis-and-refinement/

Leave a Reply

Your email address will not be published.

Time limit is exhausted. Please reload CAPTCHA.