Informace o publikaci

Modal logics for timed process algebras

Autoři

BRIM Luboš

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