TY - CHAP A1 - Twarok, Sven A1 - Langendörfer, Peter A1 - König, Hartmut ED - Kim, Myungchul T1 - Automated Derivation of ILP Implementations from SDL Specifications T2 - 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 Y1 - 2001 SN - 0-7923-7470-3 SP - 3 EP - 18 PB - Kluwer CY - Boston [u.a.] ER -