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

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

Model checking as support for inspecting compliance to rules in flexible processes

Model checking as support for inspecting compliance to rules in flexible processes

Letia, Ioan Alfred; Goron, Anca

期刊名称Journal of Visual Languages & Computing
作者Letia, Ioan Alfred; Goron, Anca
卷第28卷
印刷ISSN1045-926X
文件大小2551.76KB
发表时间2015-06
DOI10.1016/j.jvlc.2014.12.008
页码100-121

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