Modal mu-Calculus with Distances

• Autoři: BRIM Luboš
• Rok publikování: 1994
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Scripta Fac.Brun.
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Počítačový hardware a software

Související projekty

• Analýza konkurentních nekonečně stavových systémů
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů