A framework for checking agent interaction within institutions

Owen Cliffe, Julian Padget

Research output: Chapter in Book/Report/Conference proceedingConference contribution

LanguageEnglish
Title of host publicationProceedings of MOCHART workshop at ECAI'02
StatusPublished - 2002
EventProceedings of MOCHART workshop at ECAI'02 -
Duration: 1 Jan 2002 → …

Conference

ConferenceProceedings of MOCHART workshop at ECAI'02
Period1/01/02 → …

Cite this

Cliffe, O., & Padget, J. (2002). A framework for checking agent interaction within institutions. In Proceedings of MOCHART workshop at ECAI'02

A framework for checking agent interaction within institutions. / Cliffe, Owen; Padget, Julian.

Proceedings of MOCHART workshop at ECAI'02. 2002.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cliffe, O & Padget, J 2002, A framework for checking agent interaction within institutions. in Proceedings of MOCHART workshop at ECAI'02. Proceedings of MOCHART workshop at ECAI'02, 1/01/02.
Cliffe O, Padget J. A framework for checking agent interaction within institutions. In Proceedings of MOCHART workshop at ECAI'02. 2002.
Cliffe, Owen ; Padget, Julian. / A framework for checking agent interaction within institutions. Proceedings of MOCHART workshop at ECAI'02. 2002.
@inproceedings{17172d7a219447e19eef8625415dd149,
title = "A framework for checking agent interaction within institutions",
author = "Owen Cliffe and Julian Padget",
year = "2002",
language = "English",
booktitle = "Proceedings of MOCHART workshop at ECAI'02",

}

TY - GEN

T1 - A framework for checking agent interaction within institutions

AU - Cliffe,Owen

AU - Padget,Julian

PY - 2002

Y1 - 2002

M3 - Conference contribution

BT - Proceedings of MOCHART workshop at ECAI'02

ER -