Synthesis from component libraries
Lustig, Yoad; Vardi, Moshe Y.
- 期刊名称International Journal on Software Tools for Technology Transfer
- 作者Lustig, Yoad; Vardi, Moshe Y.
- 卷第15卷
- 印刷ISSN1433-2779
- 电子ISSN1433-2787
- 文件大小295.35KB
- 发表时间2013-10
- DOI10.1007/s10009-012-0236-z
- 页码603-618