Wei-Jer Lin

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997

1 Shie-Jue Lee, Wei-Jer Lin: Formal Verification and Diagnosis of CombinationalCircuit Designs with Propositional Logic. Fundam. Inform. 31(1): 79-105 (1997)

1997
1		Shie-Jue Lee, Wei-Jer Lin: Formal Verification and Diagnosis of CombinationalCircuit Designs with Propositional Logic. Fundam. Inform. 31(1): 79-105 (1997)

Coauthor Index

1 Shie-Jue Lee [1]