| 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 | |
| 1 | Charles H.-P. Wen |
Data released under the ODC-BY 1.0 license — See also our legal information page