%0 Thesis %1 phd/de/Younis2006 %A Younis, Mohammed Bani %D 2006 %K dblp %P 1-148 %T Re-engineering approach for PLC programs based on formal methods. %@ 978-3-8322-5674-6

@phdthesis{phd/de/Younis2006, added-at = {2016-05-04T00:00:00.000+0200}, author = {Younis, Mohammed Bani}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cc35afb960f2a9bc9c099c8ed1106b7c/dblp}, ee = {http://d-nb.info/982108133}, interhash = {a303146667ed8927e1efe01930bd24ab}, intrahash = {cc35afb960f2a9bc9c099c8ed1106b7c}, isbn = {978-3-8322-5674-6}, keywords = {dblp}, pages = {1-148}, school = {University of Kaiserslautern}, timestamp = {2016-05-05T09:34:06.000+0200}, title = {Re-engineering approach for PLC programs based on formal methods.}, year = 2006 }