Browsing by Author Ming-Jen Yang
Showing results 1 to 1 of 1
| Publication Year | Title | Author(s) | Department |
|---|---|---|---|
| 2016 | 利用時態分解技術增進性質導向可達性技術 Improving Property Directed Reachability with Temporal Decomposition | Ming-Jen Yang; 楊明仁 | 電子工程學研究所 |