Lynn C.-L. Chang

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2008
c1		Lynn C.-L. Chang, Charles H.-P. Wen: Mining Unreachable Cross-Timeframe State-Pairs for Bounded Sequential Equivalence Checking. MTV 2008: 33-38

Coauthor Index

Last update Sat May 25 23:46:58 2013 CET by the DBLP Team —

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