Wei-Jer Lin

According to our database, Wei-Jer Lin authored at least 1 paper in 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1997

Formal Verification and Diagnosis of CombinationalCircuit Designs with Propositional Logic.

Shie-Jue Lee, Wei-Jer Lin

Fundam. Informaticae, 1997