%0 Thesis %1 phd/de/Weng2003 %A Weng, Xiying %D 2003 %K %P 1-142 %T Verification and validation of logic control algorithms by model checking. %@ 3-8322-2242-1

@phdthesis{phd/de/Weng2003, added-at = {2023-12-12T17:58:26.000+0100}, author = {Weng, Xiying}, biburl = {https://www.bibsonomy.org/bibtex/26d92118dc98a8590c96099aab9522b30/admin}, ee = {http://d-nb.info/969691572}, interhash = {0b88339aa44128818f1ea5c141e44d02}, intrahash = {6d92118dc98a8590c96099aab9522b30}, isbn = {3-8322-2242-1}, keywords = {}, pages = {1-142}, school = {University of Kaiserslautern}, timestamp = {2023-12-12T17:58:26.000+0100}, title = {Verification and validation of logic control algorithms by model checking.}, year = 2003 }