UM

Browse/Search Results:  1-1 of 1 Help

Filters    
Selected(0)Clear Items/Page:    Sort:
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
Authors:  Zhu H.;  Xu Q.;  Ma C.;  Qin S.;  Qiu Z.
Favorite  |  View/Download:4/0  |  Submit date:2019/04/04