Contract Monitoring in Agent-Based Systems: Case Study

@inproceedings{Hodk2009ContractMI,
  title={Contract Monitoring in Agent-Based Systems: Case Study},
  author={Jir{\'i} Hod{\'i}k and Jir{\'i} Vokr{\'i}nek and Michal Jakob},
  booktitle={HoloMAS},
  year={2009}
}