Verification of Infinite State Probabilistic Systems

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Verifikace pravděpodobnostních systémů s nekonečně mnoha stavy
Autoři

KUČERA Antonín

Rok publikování 2008
Druh Vyžádané přednášky
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.