Functional Decision Diagrams: A Unifying Data Structure For Binary Decision Diagrams

Joan Thibault 1 Khalil Ghorbal 1
1 HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Reports
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-02369112
Contributor : Joan Thibault <>
Submitted on : Monday, November 18, 2019 - 5:46:31 PM
Last modification on : Tuesday, February 25, 2020 - 8:08:11 AM

File

RT-0507.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02369112, version 1

Citation

Joan Thibault, Khalil Ghorbal. Functional Decision Diagrams: A Unifying Data Structure For Binary Decision Diagrams. [Research Report] INRIA Rennes - Bretagne Atlantique and University of Rennes 1, France. 2019. ⟨hal-02369112v1⟩

Share

Metrics

Record views

21

Files downloads

24