Authors: KNAPIK T PAYET E

Citation: T. Knapik et E. Payet, THE FULL QUOTIENT AND ITS CLOSURE PROPERTY FOR REGULAR LANGUAGES, Information processing letters, 65(2), 1998, pp. 57-62

Authors: BERNOT G BIDOIT M KNAPIK T

Citation: G. Bernot et al., OBSERVATIONAL SPECIFICATIONS AND THE INDISTINGUISHABILITY ASSUMPTION, Theoretical computer science, 139(1-2), 1995, pp. 275-314

Authors: BERNOT G BIDOIT M KNAPIK T

Citation: G. Bernot et al., BEHAVIORAL-APPROACHES TO ALGEBRAIC SPECIFICATIONS, Acta informatica, 31(7), 1994, pp. 651-671