Travelled to:1 × Canada
1 × USA
Collaborated with:D.L.Dill A.J.Hu A.J.Drexler
Talks about:specif (1) search (1) higher (1) verif (1) valid (1) state (1) space (1) level (1) guid (1) bdds (1)
Person: C. Han Yang
DBLP: Yang:C=_Han
Contributed to:
1998
1992Wrote 2 papers:
- DAC-1998-YangD #validation
- Validation with Guided Search of the State Space (CHY, DLD), pp. 599–604.
- CAV-1992-HuDDY #specification #verification
- Higher-Level Specification and Verification with BDDs (AJH, DLD, AJD, CHY), pp. 82–95.