Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen. - Axel Schneider; Thomas Bluhm; Tobias Renner; Ulrich Heinkel; Joachim Knäblein; Reynaldo Zavala (MBMV, 2006)

Formal Verification of Abstract System and Protocol Specifications. - Axel Schneider; Thomas Bluhm; Tobias Renner; Ulrich Heinkel; Joachim Knäblein; Reynaldo Zavala (SEW, 2006)