19982019
If you made any changes in Pure these will be visible here soon.

Research Output 1998 2019

Filter
Book
2010

Specification and verification of multi-agent systems

Dastani, M., Hindriks, K. V. & Meyer, J. J. C., 1 Dec 2010, Springer US. 405 p.

Research output: Book / ReportBookAcademicpeer-review

Multi agent systems
Specifications
Model checking
Theorem proving
Specification languages