%0 Thesis %1 zhang2006specification %A Zhang, Wei %D 2006 %K dnb Informatik Ingenieurwissenschaften_und_Maschinenbau %T Specification and verification of safety related automation applications based on function blocks

@phdthesis{zhang2006specification, added-at = {2015-09-09T23:45:29.000+0200}, author = {Zhang, Wei}, biburl = {https://www.bibsonomy.org/bibtex/22d06fcae62de30a38aec4d963f6689f9/genealogie}, dnbtitleid = {980657652}, interhash = {228eacac26ec15de2472e2d0ae24ec6d}, intrahash = {2d06fcae62de30a38aec4d963f6689f9}, keywords = {dnb Informatik Ingenieurwissenschaften_und_Maschinenbau}, school = {Uni Magdeburg}, timestamp = {2015-09-09T23:45:29.000+0200}, title = {Specification and verification of safety related automation applications based on function blocks}, year = 2006 }