%0 Journal Article %1 journals/tcad/DevadasMN88 %A Devadas, Srinivas %A Ma, Hi-Keung Tony %A Newton, A. Richard %D 1988 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 6 %P 713-722 %T On the verification of sequential machines at differing levels of abstraction. %U http://dblp.uni-trier.de/db/journals/tcad/tcad7.html#DevadasMN88 %V 7

@article{journals/tcad/DevadasMN88, added-at = {2020-09-24T00:00:00.000+0200}, author = {Devadas, Srinivas and Ma, Hi-Keung Tony and Newton, A. Richard}, biburl = {https://www.bibsonomy.org/bibtex/20a39da751a725b6b08ed549d52782026/dblp}, ee = {https://doi.org/10.1109/43.3210}, interhash = {ab7f984a180b69911aa9030e3e9b5863}, intrahash = {0a39da751a725b6b08ed549d52782026}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 6, pages = {713-722}, timestamp = {2020-09-25T11:48:50.000+0200}, title = {On the verification of sequential machines at differing levels of abstraction.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad7.html#DevadasMN88}, volume = 7, year = 1988 }