Formal methods for solving the algebraic path problem

Alain Darte 1 Tanguy Risset 1, 2 Yves Robert 1
2 API - Parallel VLSI Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Résumé : no abstract
Type de document :
Communication dans un congrès
F. Catthoor and L. Svensson. Application-driven architecture synthesis, 1993, Unknown, Kluwer, pp.47-69, 1993
Liste complète des métadonnées

https://hal.inria.fr/hal-00857078
Contributeur : Equipe Roma <>
Soumis le : lundi 2 septembre 2013 - 17:54:21
Dernière modification le : vendredi 16 novembre 2018 - 01:27:59

Identifiants

  • HAL Id : hal-00857078, version 1

Citation

Alain Darte, Tanguy Risset, Yves Robert. Formal methods for solving the algebraic path problem. F. Catthoor and L. Svensson. Application-driven architecture synthesis, 1993, Unknown, Kluwer, pp.47-69, 1993. 〈hal-00857078〉

Partager

Métriques

Consultations de la notice

216