RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Efficiency of automata in semi-commutation verification techniques

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

RAIRO-Theor. Inf. Appl., 42 2 (2008) 197-215

Published online: 25 September 2007

DOI: 10.1051/ita:2007029

Gérard Cécé

Pierre-Cyrille Héam

Yann Mainier

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)