成果题名:A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions
作者: Wei Song, Xiaoxing Ma, S. C. Cheung, Wanchun Dou, Jian Lü.
成果题名:A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions
作者: Wei Song, Xiaoxing Ma, S. C. Cheung, Wanchun Dou, Jian Lü.
该成果有以下 0 条问题。我要提问