Informace o publikaci

Fix-point semantics of synchronized systems and correctness of their basic transformationsa.

Autoři

GRUSKA Jozef GUESSARIAN I.

Rok publikování 1994
Druh Kapitola v knize
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Související projekty:

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

Další info