%0 Thesis %1 phd/dnb/Dziwok17 %A Dziwok, Stefan %D 2017 %K dblp %T Specification and verification for real-time coordination protocols of cyber-physical systems.

@phdthesis{phd/dnb/Dziwok17, added-at = {2021-07-17T00:00:00.000+0200}, author = {Dziwok, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/278fa24e0557bd44ced4a5a477df84029/dblp}, ee = {https://d-nb.info/1140784110}, interhash = {23427a93d8c0c34baed2e75fea515dba}, intrahash = {78fa24e0557bd44ced4a5a477df84029}, keywords = {dblp}, school = {University of Paderborn, Germany}, timestamp = {2024-04-09T08:23:03.000+0200}, title = {Specification and verification for real-time coordination protocols of cyber-physical systems.}, year = 2017 }