Specification and Verification of Multi-agent Systems

@proceedings{dastani-specification2010,
   address = {New York, NY, USA},
   apice = {DastaniSpecification2010},
   booktitle = {Specification and Verification of Multi-agent Systems},
   doi = {10.1007/978-1-4419-6984-2},
   editor = {Mehdi Dastani and Koen V. Hindriks and John-Jules Ch. Meyer},
   eisbn = {978-1-4419-6984-2},
   isbn = {978-1-4419-6983-5},
   note = {Foreword by Wiebe van der Hoek},
   publisher = {Springer},
   title = {Specification and Verification of Multi-agent Systems},
   url = {https://link.springer.com/10.1007/978-1-4419-6984-2},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/978-1-4419-6984-2.pdf},
   year = 2010
}