New Aspects in High-Level Specification, Verification, and Design of IT Protocols

@article{hmmer2001,
  title = {New Aspects in High-Level Specification, Verification, and Design of IT Protocols},
  author = {Heinz-Dieter Hümmer and Walter Geisselhardt},
  journal = {SBCCI},
  year = {2001},
  month = {Jan},
}

Heinz-Dieter Hümmer & Walter Geisselhardt (2001). New Aspects in High-Level Specification, Verification, and Design of IT Protocols. SBCCI.

Heinz-Dieter Hümmer, and Walter Geisselhardt. "New Aspects in High-Level Specification, Verification, and Design of IT Protocols." SBCCI, 2001.

Heinz-Dieter Hümmer, and Walter Geisselhardt. "New Aspects in High-Level Specification, Verification, and Design of IT Protocols." SBCCI (2001).

Heinz-Dieter Hümmer and Walter Geisselhardt, 2001. New Aspects in High-Level Specification, Verification, and Design of IT Protocols. SBCCI.

TY  - JOUR
TI  - New Aspects in High-Level Specification, Verification, and Design of IT Protocols
AU  - Heinz-Dieter Hümmer
AU  - Walter Geisselhardt
PY  - 2001
JO  - SBCCI
ER  -