Result: Synthesis of asynchronous distributed systems from global specifications

*Title*:

Synthesis of asynchronous distributed systems from global specifications / Jesko Hecking-Harbusch ; Betreuer: Bernd Finkbeiner

*Author/editor-in-chief*:

*Publication*:

Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2021

*Physical description scale*:

1 Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*Dissertation note*:

Dissertation, Saarbrücken, Universität des Saarlandes, 2021

*Subject Added Keywords*:

*DOI*:

10.22028/D291-35149

*Result*: Synthesis of asynchronous distributed systems from global specifications