Jung-Chang Liu

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

1 Kuo-Hua Wang, Chung-Ming Chan, Jung-Chang Liu: Simulation and SAT-based Boolean matching for large Boolean networks. DAC 2009: 396-401

	2009
1		Kuo-Hua Wang, Chung-Ming Chan, Jung-Chang Liu: Simulation and SAT-based Boolean matching for large Boolean networks. DAC 2009: 396-401

Coauthor Index

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page