Formally verifying dynamic properties of KBS

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)157-172
JournalLecture Notes in Computer Science
Volume1621
Publication statusPublished - 1999

Bibliographical note

Proceedings title: Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling, and Management (EKAW99)

Cite this