> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Engineering Multi-Agent Systems: Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation Beteiligte: Kmiec, Slawomir; Lespérance, Yves Erschienen: Springer International Publishing, 2014 Erschienen in: Engineering Multi-Agent Systems Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-319-14484-9_14 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: