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)

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

Share

Gmail Mastodon Facebook X LinkedIn More