- Alternative title
-
Effiziente Analyse von Populationsprotokollen und chemischen Reaktionsnetzwerken
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2023
- Keyword
-
Kommunikationsprotokoll
Mehragentensystem
Verifikation
Formale Methode
Computersimulation
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2023
- Creator
-
Helfrich, Martin
- Contributor
-
Esparza Estaun, Francisco Javier
Meyer, Roland
Esparza Estaun, Francisco Javier
Seidl, Helmut
- URN
-
urn:nbn:de:bvb:91-diss-20231205-1713629-1-6
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:53 PM CET
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
- Helfrich, Martin
- Esparza Estaun, Francisco Javier
- Meyer, Roland
- Seidl, Helmut
- Universitätsbibliothek der TU München
Time of origin
- 2023
Other Objects (12)
Efficient Protocols
Chemical reaction technology
Chemical reaction technology
Efficient fault tolerant group communcation protocols
Transport and Chemical Reaction
Approaches to efficient and robust cryptographic protocols
Efficient cryptographic protocols for wireless mesh networks
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Kinematically complete chemical reaction dynamics
Chemical Reaction and My Life
Efficient secure two-party protocols : techniques and contructions
Efficient Verification of Fault-Tolerant Message-Passing Protocols
Efficient Protocols
Chemical reaction technology
Chemical reaction technology
Efficient fault tolerant group communcation protocols
Transport and Chemical Reaction
Approaches to efficient and robust cryptographic protocols
Efficient cryptographic protocols for wireless mesh networks
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Kinematically complete chemical reaction dynamics
Chemical Reaction and My Life
Efficient secure two-party protocols : techniques and contructions
Efficient Verification of Fault-Tolerant Message-Passing Protocols
Efficient Protocols
Chemical reaction technology
Chemical reaction technology
Efficient fault tolerant group communcation protocols
Transport and Chemical Reaction
Approaches to efficient and robust cryptographic protocols
Efficient cryptographic protocols for wireless mesh networks
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Kinematically complete chemical reaction dynamics
Chemical Reaction and My Life
Efficient secure two-party protocols : techniques and contructions