BibTeX
CSL-JSON
MLA
Harvard
Compositional Verification of Agents in Dynamic Environments: a Case Study
release_yxa6q4zxwjbvlb3vc7lpa2kiou
by
Catholijn M. Jonker, Jan Treur, Wieke de Vries
Published
in European Symposium on Validation and Verification of Knowledge Based Systems.
1998
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
Stage
Year 1998
paper-conference
Stage
published
Year 1998
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links