论文信息 - Formally verifying dynamic properties of KBS - 字舞流文

Formally verifying dynamic properties of KBS

Perry Groot | A.C.M. ten Teije | F.A.H. van Harmelen | F. V. Harmelen | P. Groot | A. T. Teije