Výsledky s dopadem do praxe

• 2004

  OČENÁŠEK, P. Využití stromových automatů při verifikaci bezpečnostních protokolů. Brno: Ústav informačních systémů FIT VUT v Brně, 2004. s. 1-17.
  Detail

*) Citace se generují jednou za 24 hodin.