Skip to Main content Skip to Navigation
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

https://hal.inria.fr/hal-00857078
Contributor : Equipe Roma <>
Submitted on : Monday, September 2, 2013 - 5:54:21 PM
Last modification on : Saturday, September 11, 2021 - 3:17:38 AM

Identifiers

  • HAL Id : hal-00857078, version 1

Citation

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⟩

Share

Metrics

Record views

279