Skip to Main content Skip to Navigation
New interface
Conference papers

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
Complete list of metadata
Contributor : Equipe Roma Connect in order to contact the contributor
Submitted on : Monday, September 2, 2013 - 5:54:21 PM
Last modification on : Tuesday, October 25, 2022 - 4:18:13 PM


  • HAL Id : hal-00857078, version 1


Alain Darte, Tanguy Risset, Yves Robert. Formal methods for solving the algebraic path problem. Application-driven architecture synthesis, 1993, Unknown, pp.47-69. ⟨hal-00857078⟩



Record views