Yann Mainier

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier: Efficiency of automata in semi-commutation verification techniques. ITA 42(2): 197-215 (2008)

1 Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier: Clôtures transitives de semi-commutations et model-checking régulier. Technique et Science Informatiques 27(1-2): 7-28 (2008)

	2008
2		Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier: Efficiency of automata in semi-commutation verification techniques. ITA 42(2): 197-215 (2008)
1		Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier: Clôtures transitives de semi-commutations et model-checking régulier. Technique et Science Informatiques 27(1-2): 7-28 (2008)

Coauthor Index

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page