- Alternative title
-
Verifikation von Sicherheitseigenschaften in Multi-Agenten-Systemen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2020
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2020
- Creator
-
Müller, Alexander Christian
- Contributor
-
Seidl, Helmut
Esparza Estaun, Francisco Javier
- URN
-
urn:nbn:de:bvb:91-diss-20200610-1534540-1-7
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
20.04.2025, 11:15 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Müller, Alexander Christian
- Seidl, Helmut
- Esparza Estaun, Francisco Javier
- Universitätsbibliothek der TU München
Time of origin
- 2020
Other Objects (12)
Governing multi-agent systems
Normative Multi-Agent Systems
Holonic multi-agent systems
Infrastructure for agents, multi-agent systems, and scalable multi-agent systems : revised papers
Learning in Multi-Agent Systems
Multi-agent system engineering : proceedings
Ontology based multi-agent systems
Scalability of multi-agent systems
Agent and multi-agent systems, Pt. 2
Agent computing and multi-agent systems : proceedings
Agent and multi-agent systems, Pt. 1
Advances in practical multi-agent systems
Governing multi-agent systems
Normative Multi-Agent Systems
Holonic multi-agent systems
Infrastructure for agents, multi-agent systems, and scalable multi-agent systems : revised papers
Learning in Multi-Agent Systems
Multi-agent system engineering : proceedings
Ontology based multi-agent systems
Scalability of multi-agent systems
Agent and multi-agent systems, Pt. 2
Agent computing and multi-agent systems : proceedings
Agent and multi-agent systems, Pt. 1
Advances in practical multi-agent systems
Governing multi-agent systems
Normative Multi-Agent Systems
Holonic multi-agent systems
Infrastructure for agents, multi-agent systems, and scalable multi-agent systems : revised papers
Learning in Multi-Agent Systems
Multi-agent system engineering : proceedings
Ontology based multi-agent systems
Scalability of multi-agent systems
Agent and multi-agent systems, Pt. 2
Agent computing and multi-agent systems : proceedings
Agent and multi-agent systems, Pt. 1