Specifying and Verifying Knowledge-Based Systems with KIV (1997)

Cached

Download Links

by Dieter Fensel , Arno Schönegge
Venue:In Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems EUROVAV-97
Citations:8 - 5 self