%0 Conference Paper %1 conf/dac/DevadasMN87 %A Devadas, Srinivas %A Ma, Hi-Keung Tony %A Newton, A. Richard %B DAC %D 1987 %E O'Neill, A. %E Thomas, D. %I IEEE Computer Society Press / ACM %K dblp %P 271-276 %T On the Verification of Sequential Machines at Differing Levels of Abstraction. %U http://dblp.uni-trier.de/db/conf/dac/dac87.html#DevadasMN87

@inproceedings{conf/dac/DevadasMN87, added-at = {2018-11-06T00:00:00.000+0100}, author = {Devadas, Srinivas and Ma, Hi-Keung Tony and Newton, A. Richard}, biburl = {https://www.bibsonomy.org/bibtex/2c5cdbfa02dc706e4137b80bb696ad39e/dblp}, booktitle = {DAC}, crossref = {conf/dac/1987}, editor = {O'Neill, A. and Thomas, D.}, ee = {https://doi.org/10.1145/37888.37929}, interhash = {f00098c53b297b80439f83d60beaba8b}, intrahash = {c5cdbfa02dc706e4137b80bb696ad39e}, keywords = {dblp}, pages = {271-276}, publisher = {IEEE Computer Society Press / ACM}, timestamp = {2018-11-07T16:13:43.000+0100}, title = {On the Verification of Sequential Machines at Differing Levels of Abstraction.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac87.html#DevadasMN87}, year = 1987 }