Zde se nacházíte:
Informace o publikaci
Modal logics for timed process algebras
Autoři | |
---|---|
Rok publikování | 1992 |
Druh | Článek ve sborníku |
Konference | First North American First North American Process Algebra Workshop |
Fakulta / Pracoviště MU | |
Citace | |
Klíčová slova | process algebra |