Wei-Jer Lin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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]