@inproceedings{b9d52cd21a37444c81755af9640e32c2,
title = "Formal behavioural synthesis of Handel-C parallel hardware implementations from functional specifications",
author = "Abdallah, {A. E.} and J. Hawkins",
note = "Publisher Copyright: {\textcopyright} 2003 IEEE.; 36th Annual Hawaii International Conference on System Sciences, HICSS 2003 ; Conference date: 06-01-2003 Through 09-01-2003",
year = "2003",
doi = "10.1109/HICSS.2003.1174808",
language = "English",
series = "Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
editor = "Sprague, {Ralph H.}",
booktitle = "Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003",
}