Edinburgh Research Explorer

Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems

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

Standard

Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems. / Osman, N.; Robertson, D.; Walton, C.

Proceedings of the Third European Workshop on Multi-agent Systems. 2005. p. 248-259.

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

Harvard

Osman, N, Robertson, D & Walton, C 2005, Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems. in Proceedings of the Third European Workshop on Multi-agent Systems. pp. 248-259.

APA

Osman, N., Robertson, D., & Walton, C. (2005). Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems. In Proceedings of the Third European Workshop on Multi-agent Systems (pp. 248-259)

Vancouver

Osman N, Robertson D, Walton C. Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems. In Proceedings of the Third European Workshop on Multi-agent Systems. 2005. p. 248-259

Author

Osman, N. ; Robertson, D. ; Walton, C. / Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems. Proceedings of the Third European Workshop on Multi-agent Systems. 2005. pp. 248-259