%0 Thesis %1 phd/dnb/Luithardt17 %A Luithardt, Philipp %D 2017 %I Verlag Dr. Hut %K %T Formale Validierung eines Verfahrens zur konsistenten Master/Shadow-Festlegung in einem verteilten, nicht uhrensynchronen Avioniksystem.

@phdthesis{phd/dnb/Luithardt17, added-at = {2023-12-13T07:07:18.000+0100}, author = {Luithardt, Philipp}, biburl = {https://www.bibsonomy.org/bibtex/2df195e36f281ef1aa59a8badbcf96353/admin}, ee = {http://d-nb.info/1147674701}, interhash = {b55fa2df1f0043b5a41378f3d793af28}, intrahash = {df195e36f281ef1aa59a8badbcf96353}, keywords = {}, publisher = {Verlag Dr. Hut}, school = {University of Stuttgart, Germany}, timestamp = {2023-12-13T07:07:18.000+0100}, title = {Formale Validierung eines Verfahrens zur konsistenten Master/Shadow-Festlegung in einem verteilten, nicht uhrensynchronen Avioniksystem.}, year = 2017 }