Naiyong Jin, Jifeng He
Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language
SEFM, 2004.
@inproceedings{SEFM-2004-NaiyongJ, author = "Naiyong Jin and Jifeng He", booktitle = "{Proceedings of the Second International Conference on Software Engineering and Formal Methods}", doi = "10.1109/SEFM.2004.38", isbn = "0-7695-2222-X", pages = "132--141", publisher = "{IEEE Computer Society}", title = "{Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language}", year = 2004, }