Masarykova univerzita

Výpis publikací

2007

Component Substitutability via Equivalencies of Component-Interaction Automata

ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component Substitutability via Equivalencies of Component-Interaction Automata. Electronic Notes in Theoretical Computer Science. Elsevier, 2007, roč. 182, č. 1, s. 39-55. ISSN 1571-0661.

Podrobněji: https://is.muni.cz/publication/720980/cs

2006

Component Substitutability via Equivalencies of Component-Interaction Automata

ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component Substitutability via Equivalencies of Component-Interaction Automata. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06). Macao: UNU-IIST, 2006. s. 115-130. ISSN 1571-0661.

Podrobněji: https://is.muni.cz/publication/698722/cs