ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "protocol"
protocol
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/]
Osoba
person
RNDr. Tomáš Poch Ph.D.
Matematicko-fyzikální fakulta