External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Model for Collaborative Runtime Verification

Bas Testerink, Nils Bulling, Mehdi Dastani. A Model for Collaborative Runtime Verification. In Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith Elkind, editors, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. pages 1781-1782, ACM, 2015. [doi]

Authors

Bas Testerink

This author has not been identified. Look up 'Bas Testerink' in Google

Nils Bulling

This author has not been identified. Look up 'Nils Bulling' in Google

Mehdi Dastani

This author has not been identified. It may be one of the following persons: Look up 'Mehdi Dastani' in Google
runs on