Informace o publikaci

Modal logics for timed process algebras

Autoři

BRIM Luboš

Rok publikování 1992
Druh Článek ve sborníku
Konference First North American First North American Process Algebra Workshop
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Klíčová slova process algebra

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info