@article{LangendoerferKraemerKoenig, author = {Langend{\"o}rfer, Peter and Kraemer, Rolf and K{\"o}nig, Hartmut}, title = {Evaluation of Well-Known Protocol Implementation Techniques for Application in Wireless Networks}, series = {The Journal of Supercomputing}, volume = {20}, journal = {The Journal of Supercomputing}, number = {2}, issn = {0920-8542}, pages = {161 -- 173}, language = {en} } @inproceedings{TwarokLangendoerferKoenig, author = {Twarok, Sven and Langend{\"o}rfer, Peter and K{\"o}nig, Hartmut}, title = {Automated Derivation of ILP Implementations from SDL Specifications}, series = {Formal techniques for networked and distributed systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28 - 31, 2001, Cheju Island, Korea}, booktitle = {Formal techniques for networked and distributed systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28 - 31, 2001, Cheju Island, Korea}, editor = {Kim, Myungchul}, publisher = {Kluwer}, address = {Boston [u.a.]}, isbn = {0-7923-7470-3}, pages = {3 -- 18}, language = {en} } @phdthesis{Langendoerfer, author = {Langend{\"o}rfer, Peter}, title = {Gestaltung konfigurierbarer Codegeneratoren f{\"u}r die automatische Erzeugung effizienter Protokollimplementierungen}, publisher = {Shaker}, address = {Aachen}, isbn = {3-8265-8539-9}, language = {de} }