Framework and Multi-Formalism: the ASAR projectPascal Aubry, Olivier Sentieys, Mohammed Belhadj et al.|HAL (Le Centre pour la Communication Scientifique Directe)|1994Cited by 0