Modal mu-Calculus with Distances

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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
Citace
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ů