Original language | English |
---|---|
Pages (from-to) | 157-172 |
Journal | Lecture Notes in Computer Science |
Volume | 1621 |
Publication status | Published - 1999 |
Formally verifying dynamic properties of KBS
P. Groot, A.C.M. ten Teije, F.A.H. van Harmelen
Research output: Contribution to Journal › Article › Academic › peer-review