- Weitere Titel
-
Effiziente Analyse von Populationsprotokollen und chemischen Reaktionsnetzwerken
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2023
- Schlagwort
-
Kommunikationsprotokoll
Mehragentensystem
Verifikation
Formale Methode
Computersimulation
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2023
- Urheber
-
Helfrich, Martin
- Beteiligte Personen und Organisationen
-
Esparza Estaun, Francisco Javier
Meyer, Roland
Esparza Estaun, Francisco Javier
Seidl, Helmut
- URN
-
urn:nbn:de:bvb:91-diss-20231205-1713629-1-6
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:53 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Helfrich, Martin
- Esparza Estaun, Francisco Javier
- Meyer, Roland
- Seidl, Helmut
- Universitätsbibliothek der TU München
Entstanden
- 2023
Ähnliche Objekte (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