![](/img/cover-not-exists.png)
Cloud manufacturing service composition and formal verification based on extended process calculus
Li, Yongxiang, Yao, XifanVolume:
10
Language:
english
Journal:
Advances in Mechanical Engineering
DOI:
10.1177/1687814018781287
Date:
June, 2018
File:
PDF, 3.94 MB
english, 2018