Detail publikace

Review and Application of a Tool for Protocol Verification

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

Originální název

Review and Application of a Tool for Protocol Verification

Typ

různé

Jazyk

angličtina

Autoři

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

Vydáno

29. 5. 2009

Místo

Brno

Strany od

1

Strany do

5

Strany počet

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