%0 Thesis %1 moik2002ingenieurgerechte %A Moik, Adam %D 2002 %K %T Ingenieurgerechte formale Methoden für die Entwicklung von sicheren Automatisierungssystemen

@phdthesis{moik2002ingenieurgerechte, added-at = {2023-12-12T20:01:02.000+0100}, author = {Moik, Adam}, biburl = {https://www.bibsonomy.org/bibtex/2d2fcb6380d0c7ea3e8c4aa39963a899b/admin}, dnbtitleid = {965668509}, interhash = {294e17499b50254c2e4c848c5e66f7f5}, intrahash = {d2fcb6380d0c7ea3e8c4aa39963a899b}, keywords = {}, school = {Uni Stuttgart}, timestamp = {2023-12-12T20:01:02.000+0100}, title = {Ingenieurgerechte formale Methoden für die Entwicklung von sicheren Automatisierungssystemen}, year = 2002 }