Xiong You-lun

Design and implementation of remote monitoring system based on wireless sensors

Xiong You-lun, 2004 .

Equivalence Verification Method for Logic Circuits Based on Boolean Satisfiability

Xiong You-lun, 2007 .