Yann Mainier

According to our database, Yann Mainier authored at least 2 papers in 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

Efficiency of automata in semi-commutation verification techniques.

Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier

RAIRO Theor. Informatics Appl., 2008