Verification of Infinite State Probabilistic Systems

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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:	Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy