*Result*: Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
*Title*:
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis / Manuel Gieseking ; Ernst-Rüdiger Olderog, Bernd Finkbeiner
*Author/editor-in-chief*:
*Publication*:
Oldenburg : BIS der Universität Oldenburg, 2022
*Physical description scale*:
1 Online-Ressource
*Format*:
*Language*:
*eng*
*Dissertation note*:
Dissertation, Oldenburg, Universität Oldenburg, 2022
*Subject Added Keywords*: