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

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
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.