| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 2 |      | Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima: Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. Electr. Notes Theor. Comput. Sci. 266: 49-61 (2010) |
| 2000 | ||
| 1 |  | Takenobu Aoshima, Naoki Yonezaki: An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications. EJC 2000: 363-374 |
| 1 | Wei-Ngan Chin | [2] |
| 2 | Tuan-Hung Pham | [2] |
| 3 | Anh-Hoang Truong | [2] |
| 4 | Naoki Yonezaki | [1] |
Colors in the list of coauthors
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page