- Alternative title
-
Populationsprokolle: Ausdrucksstärke, Speicherkomplexität, und automatische Verifikation.
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2020
- Keyword
-
Population
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2020
- Creator
-
Jaax, Stefan
- Contributor
-
Esparza Estaun, Francisco Javier
Majumdar, Rupak
- URN
-
urn:nbn:de:bvb:91-diss-20200620-1538836-1-3
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:55 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
- Jaax, Stefan
- Esparza Estaun, Francisco Javier
- Majumdar, Rupak
- Universitätsbibliothek der TU München
Time of origin
- 2020
Other Objects (12)
Towards efficient verification of population protocols
An approach for the automatic verification of blockchain protocols: the Tweetchain case study
Operational semantics and verification of security protocols
Interval Analysis and Automatic Result Verification
Automatic signature verification using segmentation
Directed search for the verification of communication protocols
Discourje: Runtime Verification of Communication Protocols in Clojure
RecordFlux: Facilitating the Verification of Communication Protocols
Efficient Verification of Fault-Tolerant Message-Passing Protocols
Directed search for the verification of communication protocols
Automatic verification of concurrent stochastic systems
Automatic Synthesis and Verification of Industrial Commissioning Processes
Towards efficient verification of population protocols
An approach for the automatic verification of blockchain protocols: the Tweetchain case study
Operational semantics and verification of security protocols
Interval Analysis and Automatic Result Verification
Automatic signature verification using segmentation
Directed search for the verification of communication protocols
Discourje: Runtime Verification of Communication Protocols in Clojure
RecordFlux: Facilitating the Verification of Communication Protocols
Efficient Verification of Fault-Tolerant Message-Passing Protocols
Directed search for the verification of communication protocols
Automatic verification of concurrent stochastic systems
Automatic Synthesis and Verification of Industrial Commissioning Processes
Towards efficient verification of population protocols
An approach for the automatic verification of blockchain protocols: the Tweetchain case study
Operational semantics and verification of security protocols
Interval Analysis and Automatic Result Verification
Automatic signature verification using segmentation
Directed search for the verification of communication protocols
Discourje: Runtime Verification of Communication Protocols in Clojure
RecordFlux: Facilitating the Verification of Communication Protocols
Efficient Verification of Fault-Tolerant Message-Passing Protocols
Directed search for the verification of communication protocols
Automatic verification of concurrent stochastic systems