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 |