Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework

@article{drgehorn1998,
  title = {Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework},
  author = {Olaf Drögehorn and Peter Herrmann},
  journal = {FBT},
  year = {1998},
  month = {Jan},
}

Olaf Drögehorn & Peter Herrmann (1998). Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework. FBT.

Olaf Drögehorn, and Peter Herrmann. "Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework." FBT, 1998.

Olaf Drögehorn, and Peter Herrmann. "Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework." FBT (1998).

Olaf Drögehorn and Peter Herrmann, 1998. Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework. FBT.

TY  - JOUR
TI  - Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework
AU  - Olaf Drögehorn
AU  - Peter Herrmann
PY  - 1998
JO  - FBT
ER  -