Nathan Allen, Partha S. Roop. Semantics-Directed Hardware Generation of Hybrid Systems. In 11th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2020, Sydney, Australia, April 21-25, 2020. pages 259-268, IEEE, 2020. [doi]
@inproceedings{AllenR20, title = {Semantics-Directed Hardware Generation of Hybrid Systems}, author = {Nathan Allen and Partha S. Roop}, year = {2020}, doi = {10.1109/ICCPS48487.2020.00037}, url = {https://doi.org/10.1109/ICCPS48487.2020.00037}, researchr = {https://researchr.org/publication/AllenR20}, cites = {0}, citedby = {0}, pages = {259-268}, booktitle = {11th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2020, Sydney, Australia, April 21-25, 2020}, publisher = {IEEE}, isbn = {978-1-7281-5501-2}, }