Jinsong Bei

1999
1	EE	Jinsong Bei, Hongxing Li, Jinian Bian, Hongxi Xue, Xianlong Hong: FSM Modeling of Synchronous VHDL Design for Symbolic Model Checking. ASP-DAC 1999: 363-

Coauthor Index

1	Jinian Bian	[1]
2	Xianlong Hong	[1]
3	Hongxing Li	[1]
4	Hongxi Xue	[1]