Masaryk University

Publication Records

česky | in English

Filter publications

    2007

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

    2006

    1. ČERNÁ, Ivana, Pavlína VAŘEKOVÁ and 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, p. 115-130. ISSN 1571-0661.
Display details
Displayed: 25/6/2024 02:02