UM
(本次检索基于用户作品认领结果)

浏览/检索结果: 共1条,第1-1条 帮助

限定条件        
已选(0)清除 条数/页:   排序方式:
The rely/guarantee approach to verifying concurrent BPEL programs Journal article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012,Volume: 7504 LNCS,Page: 172-187
作者:  Zhu H.;  Xu Q.;  Ma C.;  Qin S.;  Qiu Z.
收藏  |  浏览/下载:4/0  |  提交时间:2019/04/04