Conference Papers
Year : 2008
Jean-Michel Couvreur : Connect in order to contact the contributor
https://hal.science/hal-00468333
Submitted on : Tuesday, March 30, 2010-3:12:39 PM
Last modification on : Saturday, June 25, 2022-10:11:20 AM
Dates and versions
Identifiers
- HAL Id : hal-00468333 , version 1
Cite
Jean-Michel Couvreur, Duy Tung Nguyen. Tree Data Decision Diagrams. Verification and Evaluation of Computer and Communication System, Jul 2008, Leeds, United Kingdom. pp.0--0. ⟨hal-00468333⟩
Collections
52
View
0
Download