%0 Thesis
%1 luithardt2017formale
%A Luithardt, Philipp
%B ILS Institut für Luftfahrtsysteme
%C München
%D 2017
%I Verlag Dr. Hut
%K 1a diss phf06 ubs_10006 ubs_20010 ubs_30095 unibibliografie
%N 13
%T Formale Validierung eines Verfahrens zur konsistenten Master/Shadow-Festlegung in einem verteilten, nicht uhrensynchronen Avioniksystem
%@ 978-3-8439-3325-4
@phdthesis{luithardt2017formale,
added-at = {2022-01-21T14:43:41.000+0100},
address = {München},
author = {Luithardt, Philipp},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f3273ea3ee4a008225f5c7be6e0f8184/puma-wartung},
eventdate = {2016-11-04},
interhash = {b55fa2df1f0043b5a41378f3d793af28},
intrahash = {f3273ea3ee4a008225f5c7be6e0f8184},
isbn = {978-3-8439-3325-4},
keywords = {1a diss phf06 ubs_10006 ubs_20010 ubs_30095 unibibliografie},
language = {ger},
number = 13,
publisher = {Verlag Dr. Hut},
school = {Universität Stuttgart},
series = {ILS Institut für Luftfahrtsysteme},
supervisor = {Reichel, Reinhard},
supervisorgnd = {1034209256},
timestamp = {2022-08-25T07:24:58.000+0200},
title = {Formale Validierung eines Verfahrens zur konsistenten Master/Shadow-Festlegung in einem verteilten, nicht uhrensynchronen Avioniksystem},
type = {Dissertation},
year = 2017
}