Skip to content

Verifying and Validating Specification of Knowledge-Based Systems.

Luis Torres, Claudia S. Frydman

VenueAECAI
Year1998
ProceedingsECAI

Browse the full ECAI paper archive.