Jens Gladigau, Christian Haubelt, Jürgen Teich. Symbolic Scheduling of SystemC Dataflow Designs. In Martin Radetzki, editor, Languages for Embedded Systems and their Applications - Selected Contributions on Specification, Design, and Verification from FDL'08, September 23-25, 2008, Stuttgart, Germany. Volume 36 of Lecture Notes in Electrical Engineering, pages 183-199, 2008. [doi]
@inproceedings{GladigauHT08a,
title = {Symbolic Scheduling of SystemC Dataflow Designs},
author = {Jens Gladigau and Christian Haubelt and Jürgen Teich},
year = {2008},
doi = {10.1007/978-1-4020-9714-0_12},
url = {https://doi.org/10.1007/978-1-4020-9714-0_12},
researchr = {https://researchr.org/publication/GladigauHT08a},
cites = {0},
citedby = {0},
pages = {183-199},
booktitle = {Languages for Embedded Systems and their Applications - Selected Contributions on Specification, Design, and Verification from FDL'08, September 23-25, 2008, Stuttgart, Germany},
editor = {Martin Radetzki},
volume = {36},
series = {Lecture Notes in Electrical Engineering},
}