PURI, Disha, RAY, Sandip, HAO, Kecheng und XIE, Fei, 2014. Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis. Civil and Environmental Engineering Faculty Publications and Presentations. 1 Januar 2014. DOI 10.4204/EPTCS.152.10.
Elsevier - Harvard (with titles)Puri, D., Ray, S., Hao, K., Xie, F., 2014. Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis. Civil and Environmental Engineering Faculty Publications and Presentations. https://doi.org/10.4204/EPTCS.152.10
American Psychological Association 7th editionPuri, D., Ray, S., Hao, K., & Xie, F. (2014). Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis. Civil and Environmental Engineering Faculty Publications and Presentations. https://doi.org/10.4204/EPTCS.152.10
Springer - Basic (author-date)Puri D, Ray S, Hao K, Xie F (2014) Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis. Civil and Environmental Engineering Faculty Publications and Presentations. https://doi.org/10.4204/EPTCS.152.10
Juristische Zitierweise (Stüber) (Deutsch)Puri, Disha/ Ray, Sandip/ Hao, Kecheng/ Xie, Fei, Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis, Civil and Environmental Engineering Faculty Publications and Presentations 2014.