Combining Simulation and Formal Tools for Developing Self-Organizing MAS
author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
booktitle = {Multi-Agent Systems: Simulation and Applications},
chapter = 5,
doi = {10.1201/9781420070248-15},
editor = {Uhrmacher, Adelinde M. and Weyns, Danny},
eisbn = {978-1-3152-1878-6},
iris = {11585/82469},
isbn = {978-1-4200-7023-1},
isbn10 = {1-4200-7023-1},
isbn13 = {978-1-4200-7023-1},
month = jun,
pages = {133--165},
publisher = {CRC Press},
scopus = {2-s2.0-85068357847},
series = {Computational Analysis, Synthesis, and Design of Dynamic Systems},
title = {Combining Simulation and Formal Tools for Developing Self-Organizing {MAS}},
url = {http://crcpress.com/product/isbn/9781420070231},
year = 2009
}