Pranav Ashar, Abhijit Ghosh, Srinivas Devadas, A. Richard Newton. Implicit State Transition Graphs: Applications to Sequential Logic Synthesis and Test. In ICCAD. pages 84-87, 1990.
@inproceedings{AsharGDN90,
title = {Implicit State Transition Graphs: Applications to Sequential Logic Synthesis and Test},
author = {Pranav Ashar and Abhijit Ghosh and Srinivas Devadas and A. Richard Newton},
year = {1990},
tags = {testing, graph-rewriting, logic, rewriting logic, rewriting},
researchr = {https://researchr.org/publication/AsharGDN90},
cites = {0},
citedby = {0},
pages = {84-87},
booktitle = {ICCAD},
}