Publication detail

Review and Application of a Tool for Protocol Verification

OČENÁŠEK, P. ŘÍHA, T.

Original Title

Review and Application of a Tool for Protocol Verification

Type

miscellaneous

Language

English

Authors

OČENÁŠEK, P.; ŘÍHA, T.

Released

29. 5. 2009

Location

Brno

Pages from

1

Pages to

5

Pages count

5

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"
}