Informace o publikaci

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

Citace
Obor Počítačový hardware a software
Související projekty: