Tree Data Decision Diagrams - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

Tree Data Decision Diagrams

No file

Dates and versions

hal-00468333 , version 1 (30-03-2010)


  • HAL Id : hal-00468333 , version 1


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⟩
52 View
0 Download


Gmail Mastodon Facebook X LinkedIn More