ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "distributive"
distributive
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
Distribuovaný ověřovač Behavior protokolů
Publikace
1 osoba
Abstrakt
Distribuovaný ověřovač Behavior protokolů, [http://dsrg.mff.cuni.cz/~poch/dchecker/]
Klíčová slova
Distributed
Behavior
Protocol
Checker
Osoba
person
RNDr. Tomáš Poch Ph.D.
Matematicko-fyzikální fakulta