RED

Extending BDD technology to dense-time spaces

@

We have moved to Source Forge under the project name of REDLIB. 

Please click REDLIB to the Source Forge REDLIB webpage. 

** For your interest, RED is also an acronym for Region-Encoding Diagram, the technology used for the first few versions of RED before we changed to CRD. 

@

Professor Farn Wang

Dept. of Electrical Engineering

National Taiwan University

farn@cc.ee.ntu.edu.tw

Farn's webpage