Seiichiro Tani;Hiroshi Imai
-;-
A Unifying Theoretical Background for Some Bdd-based Data Structures
Formal Methods in System Design