LinZinc: A Library for Linearizing Zinc Models
Rafeh, Reza; Jaberi, Negar
- 期刊名称Iranian Journal of Science and Technology, Transactions of Electrical Engineering
- 作者Rafeh, Reza; Jaberi, Negar
- 卷第40卷
- 期第1期
- 印刷ISSN2228-6179
- 电子ISSN2364-1827
- 文件大小792.91KB
- 发表时间2016-3-16
- DOI10.1007/s40998-016-0005-1
- 页码63-73