A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions
Wu, Chunhan, Zhang, Xingyuan, Urban, Christian
Published in Journal of automated reasoning (01.04.2014)
Published in Journal of automated reasoning (01.04.2014)
Get full text
Journal Article
Study on Mechanism of Preparing Spherical Aluminum Powder by Evaporative Condensation
Yu, Weijin, Yu, Qingchun, Yao, Xiaofei, Wu, Chunhan, Xu, Baoqiang
Published in Integrated ferroelectrics (13.06.2023)
Published in Integrated ferroelectrics (13.06.2023)
Get full text
Journal Article
Design and implementation of Directory Service network management system based on event bus pattern
Jiuqiang Cui, Chunhan Wu
Published in 2010 2nd International Conference on Computer Engineering and Technology (01.04.2010)
Published in 2010 2nd International Conference on Computer Engineering and Technology (01.04.2010)
Get full text
Conference Proceeding
Dynamic simulation and experimental study of a novel Al extraction method from AlN under vacuum
Lu, Yong, Zhou, Yuezhen, Wu, Chunhan, Chen, Xiumin, Wang, Jiaju, Yu, Qingchun, Liu, Dachun, Yang, Bin
Published in Vacuum (01.09.2015)
Published in Vacuum (01.09.2015)
Get full text
Journal Article
A Replay-Oriented Software Architecture for Easy Debugging
Chunhan Wu, Xingyuan Zhang, Yuanyuan Wang
Published in 2008 International Conference on Computer Science and Software Engineering (01.12.2008)
Published in 2008 International Conference on Computer Science and Software Engineering (01.12.2008)
Get full text
Conference Proceeding