Publication Details

Review and Application of a Tool for Protocol Verification

OČENÁŠEK, P.; ŘÍHA, T. Review and Application of a Tool for Protocol Verification. Brno: 2009. p. 1-5.

Czech title

Přehled a aplikace nástroje pro verifikaci protokolů

Type

miscellaneous

Language

English

Authors

Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS)
Říha Tomáš, Bc.

Published

2009

Pages

1–5

Place

Brno

BibTeX

@misc{BUT192683,
  author="Pavel {Očenášek} and Tomáš {Říha}",
  title="Review and Application of a Tool for Protocol Verification",
  year="2009",
  pages="1--5",
  address="Brno",
  note="miscellaneous"
}