@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} }