Thomas Bluhm

Publication Activity (10 Years)

Years Active: 2006-2006
Publications (10 Years): 0

Publications

Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala
Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen. MBMV (2006)
Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala
Formal Verification of Abstract System and Protocol Specifications. SEW (2006)