Alexandre Yakovlev, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli. A unified signal transition graph model for asynchronous control circuit synthesis. In ICCAD. pages 104-111, 1992. [doi]
@inproceedings{YakovlevLS92, title = {A unified signal transition graph model for asynchronous control circuit synthesis}, author = {Alexandre Yakovlev and Luciano Lavagno and Alberto L. Sangiovanni-Vincentelli}, year = {1992}, doi = {10.1145/304032.304069}, url = {http://doi.acm.org/10.1145/304032.304069}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/YakovlevLS92}, cites = {0}, citedby = {0}, pages = {104-111}, booktitle = {ICCAD}, }