Bounded synthesis
Finkbeiner, Bernd; Schewe, Sven
- 期刊名称International Journal on Software Tools for Technology Transfer
- 作者Finkbeiner, Bernd; Schewe, Sven
- 卷第15卷
- 印刷ISSN1433-2779
- 电子ISSN1433-2787
- 文件大小1281.00KB
- 发表时间2013-10
- DOI10.1007/s10009-012-0228-z
- 页码519-539