成果题名:Timed Modeling and Verification of BPEL Processes Using Time Petri Nets
作者: Wei Song, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lü.
成果题名:Timed Modeling and Verification of BPEL Processes Using Time Petri Nets
作者: Wei Song, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lü.
该成果有以下 0 条问题。我要提问