Masaryk University

Publication Records

česky | in English

Filter publications

    2007

    1. Component Substitutability via Equivalencies of Component-Interaction Automata
      Č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.
      More: https://is.muni.cz/publication/720980/en

    2006

    1. Component Substitutability via Equivalencies of Component-Interaction Automata
      Č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.
      More: https://is.muni.cz/publication/698722/en
Display details
Displayed: 26/4/2024 04:31