Detail publikace

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.
Název česky
Přehled a aplikace nástroje pro verifikaci protokolů
Typ
různé
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS)
Říha Tomáš, Bc.
Rok
2009
Strany
1–5
Místo
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"
}
Nahoru