Abstract
Developments in computer hardware and programming languages, in this case C++, have made it feasible to write models of concurrent systems under verif......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
