Treffer: Constraint-based Analysis of Distributed Systems

Titel:

Constraint-based Analysis of Distributed Systems / Philipp Klara Johanna Meyer ; Gutachter: Francisco Javier Esparza Estaun, Antonín Kučera ; Betreuer: Francisco Javier Esparza Estaun

Verantwortlich:

Meyer, Philipp Klara Johanna (Verfasser); Esparza Estaun, Francisco Javier (Akademischer Betreuer); Esparza Estaun, Francisco Javier (Gutachter); Kučera, Antonín (Gutachter)

Veröffentlicht:

München : Universitätsbibliothek der TU München, 2021

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, München, Technische Universität München, 2021

Schlagworte:

Treffer: Constraint-based Analysis of Distributed Systems

Zusatz-Informationen

Zusatz-Funktionen