e CIG: Book Chapters


Book Chapters

Coverbild
Autor:Dix, Jürgen and Fisher, Michael
Bearbeiter:Gerhard Weiss
Titel:Chapter 14: Verifying Multi-Agent Systems
Buchtitel:Multiagent systems
Jahr:2013
Seiten:641-693
Herausgeber:MIT-Press
BibTeX-Code:
@incollection{DixFisWeiss-book,
author={Dix, Jürgen and Fisher, Michael},
editor={Gerhard Weiss},
title={Chapter 14: Verifying Multi-Agent Systems},
booktitle={Multiagent systems},
year={2013},
pages={641-693},
publisher={MIT-Press},
picture={http://www.in.tu-clausthal.de/fileadmin/homes/CIG/covers/Weissbook.jpg},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2018