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

@phdthesis{phd/de/Weng2003, added-at = {2021-07-17T00:00:00.000+0200}, author = {Weng, Xiying}, biburl = {https://www.bibsonomy.org/bibtex/26d92118dc98a8590c96099aab9522b30/dblp}, ee = {https://d-nb.info/969691572}, interhash = {0b88339aa44128818f1ea5c141e44d02}, intrahash = {6d92118dc98a8590c96099aab9522b30}, isbn = {3-8322-2242-1}, keywords = {dblp}, pages = {1-142}, school = {University of Kaiserslautern}, timestamp = {2024-04-09T09:12:56.000+0200}, title = {Verification and validation of logic control algorithms by model checking.}, year = 2003 }