Efficiency of automata in semi-commutation verification techniques. - Gérard Cécé; Pierre-Cyrille Héam; Yann Mainier (RAIRO Theor. Informatics Appl., 2008)

Clôtures transitives de semi-commutations et model-checking régulier. - Gérard Cécé; Pierre-Cyrille Héam; Yann Mainier (Tech. Sci. Informatiques, 2008)