Treffer: Synthesis of asynchronous distributed systems from global specifications
Titel:
Synthesis of asynchronous distributed systems from global specifications / Jesko Hecking-Harbusch ; Betreuer: Bernd Finkbeiner
Veröffentlicht:
Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2021
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Saarbrücken, Universität des Saarlandes, 2021
Schlagworte:
DOI:
10.22028/D291-35149