ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "protocol"
protocol
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
Model checking a redukce behavior protokolů
Publikace na Matematicko-fyzikální fakulta
|
2006
1 osoba
Abstrakt
Model checking a redukce behavior protokolů
Klíčová slova
Model
Checking
Reduction
Behavior
Protocols
Osoba
person
RNDr. Ondřej Šerý Ph.D.
Matematicko-fyzikální fakulta