发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[Lecture Notes in Computer Science] Computational Science – ICCS 2008 Volume 5102 || A Survey of Formal Verification for Business Process Modeling

[Lecture Notes in Computer Science] Computational Science – ICCS 2008 Volume 5102 || A Survey of Formal Verification for Business Process Modeling

Bubak, Marian; van Albada, Geert Dick; Dongarra, Jack; Sloot, Peter M. A.

作者Bubak, Marian; van Albada, Geert Dick; Dongarra, Jack; Sloot, Peter M. A.
文件大小251.60KB
发表时间2008
DOI10.1007/978-3-540-69387-1_58
页码514-522

← 返回【学霸图书馆】主页