Verification of Infinite State Probabilistic Systems

• 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

Související projekty

• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy