BibTex format
@article{Lomuscio:2013,
author = {Lomuscio, A and Pinchinat, S and Schlingloff, H},
journal = {Dagstuhl Reports},
pages = {151--187},
title = {VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181).},
volume = {3},
year = {2013}
}