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

    2. 2006

  2. 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: 8/6/2023 10:57