Population protocols: expressiveness, succinctness and automatic verification.

Dissertation, Technische Universität München, 2020

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Jaax, Stefan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	München 2020
Schlagworte:	Hochschulschrift
Online Zugang:	Volltext Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Dissertation, Technische Universität München, 2020
Beschreibung:	1 Band (verschiedene Seitenzählungen) Diagramme