Advanced implementation techniques for automated protocol implementation - Langendörfer, Peter 1966-; König, Hartmut 1950-; Krumm, Heiko 1953- ([Brandenburgische Techn. Univ., Fak. für Mathematik, Naturwiss. und Informatik], 1999)