Chris Ka-Kei Kwok

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

1 Bing Li, Chris Ka-Kei Kwok: Automatic formal verification of clock domain crossing signals. ASP-DAC 2009: 654-659

	2009
1		Bing Li, Chris Ka-Kei Kwok: Automatic formal verification of clock domain crossing signals. ASP-DAC 2009: 654-659

Coauthor Index