Chuck Monahan, Forrest Brewer. Scheduling and binding bounds for RT-level symbolic execution. In ICCAD. pages 230-235, 1997. [doi]
@inproceedings{MonahanB97, title = {Scheduling and binding bounds for RT-level symbolic execution}, author = {Chuck Monahan and Forrest Brewer}, year = {1997}, doi = {10.1145/266388.266479}, url = {http://doi.acm.org/10.1145/266388.266479}, researchr = {https://researchr.org/publication/MonahanB97}, cites = {0}, citedby = {0}, pages = {230-235}, booktitle = {ICCAD}, }