Reuse and abstraction in verification: agents acting in dynamic environments

C.M. Jonker, J. Treur, W. de Vries

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationProceedings of the Twelfth Belgium-Netherlands Artificial Intelligence Conference
EditorsA. van de Bosch, H. Weigand
Place of PublicationTilburg
Pages303-304
Number of pages2
Publication statusPublished - 2000

Cite this