Informace o publikaci

Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes

Autoři

ČERNÁ Ivana KŘETÍNSKÝ Mojmír KUČERA Antonín

Rok publikování 1996
Druh Článek ve sborníku
Konference Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Počítačový hardware a software
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