Yann Mainier

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier
Clôtures transitives de semi-commutations et model-checking régulier. Tech. Sci. Informatiques 27 (1-2) (2008)
Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier
Efficiency of automata in semi-commutation verification techniques. RAIRO Theor. Informatics Appl. 42 (2) (2008)