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

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

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