Yoav Katz, Michal Rimon, Avi Ziv. Generating instruction streams using abstract CSP. In Wolfgang Rosenstiel, Lothar Thiele, editors, 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012. pages 15-20, IEEE, 2012. [doi]
@inproceedings{KatzRZ12, title = {Generating instruction streams using abstract CSP}, author = {Yoav Katz and Michal Rimon and Avi Ziv}, year = {2012}, url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6176425}, researchr = {https://researchr.org/publication/KatzRZ12}, cites = {0}, citedby = {0}, pages = {15-20}, booktitle = {2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012}, editor = {Wolfgang Rosenstiel and Lothar Thiele}, publisher = {IEEE}, isbn = {978-1-4577-2145-8}, }