Compositional Verification of Agents in Dynamic Environments: a Case Study release_yxa6q4zxwjbvlb3vc7lpa2kiou

by Catholijn M. Jonker, Jan Treur, Wieke de Vries

Archived Files and Locations

application/pdf  183.5 kB
file_uxxh2m43vvet3hankur7l6kljy
ceur-ws.org (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   1998
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 2b678b2b-52d8-4af0-b95d-b9150837b37f
API URL: JSON