Formal verification for semantic Web services composition based on coloured Petri nets

被引：0

作者：

Ni, Yue ^{[1
,2
]}

Fan, Yushun ^{[1
]}

机构：

[1] Department of Automation, Tsinghua University, Beijing 100084, China

[2] Department No.1, Guilin Air Force Academy, Guilin 541003, China

来源：

Qinghua Daxue Xuebao/Journal of Tsinghua University | 2010年 / 50卷 / 05期

关键词：

Formal verification;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：714 / 717