%0 Conference Paper %1 conf/icaart/SchwarzMS10 %A Schwarz, Christian %A Mohammed, Ammar %A Stolzenburg, Frieder %B ICAART (2) %D 2010 %E Filipe, Joaquim %E Fred, Ana L. N. %E Sharp, Bernadette %I INSTICC Press %K dblp %P 323-326 %T A Tool Environment for Specifying and Verifying Multi-agent Systems. %U http://dblp.uni-trier.de/db/conf/icaart/icaart2010-2.html#SchwarzMS10 %@ 978-989-674-022-1

@inproceedings{conf/icaart/SchwarzMS10, added-at = {2010-03-03T00:00:00.000+0100}, author = {Schwarz, Christian and Mohammed, Ammar and Stolzenburg, Frieder}, biburl = {https://www.bibsonomy.org/bibtex/2b74ffb112b81721f8758d49340c40f36/dblp}, booktitle = {ICAART (2)}, crossref = {conf/icaart/2010-2}, date = {2010-03-03}, description = {dblp}, editor = {Filipe, Joaquim and Fred, Ana L. N. and Sharp, Bernadette}, interhash = {89e824550d131a0014e7f044d00ab7eb}, intrahash = {b74ffb112b81721f8758d49340c40f36}, isbn = {978-989-674-022-1}, keywords = {dblp}, pages = {323-326}, publisher = {INSTICC Press}, timestamp = {2010-03-04T11:35:16.000+0100}, title = {A Tool Environment for Specifying and Verifying Multi-agent Systems.}, url = {http://dblp.uni-trier.de/db/conf/icaart/icaart2010-2.html#SchwarzMS10}, year = 2010 }