Hsiao-Ping Juan, Viraphol Chaiyakul, Daniel D. Gajski. Condition graphs for high-quality behavioral synthesis. In Jochen A. G. Jess, Richard L. Rudell, editors, Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994, San Jose, California, USA, November 6-10, 1994. pages 170-174, IEEE Computer Society, 1994. [doi]
@inproceedings{JuanCG94,
title = {Condition graphs for high-quality behavioral synthesis},
author = {Hsiao-Ping Juan and Viraphol Chaiyakul and Daniel D. Gajski},
year = {1994},
doi = {10.1145/191326.191396},
url = {http://doi.acm.org/10.1145/191326.191396},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/JuanCG94},
cites = {0},
citedby = {0},
pages = {170-174},
booktitle = {Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994, San Jose, California, USA, November 6-10, 1994},
editor = {Jochen A. G. Jess and Richard L. Rudell},
publisher = {IEEE Computer Society},
isbn = {0-89791-690-5},
}