AUTOMAF : un systeme de construction d'automates synchronises et de calcul de mesure du parallelisme

Abstract

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc