%0 Journal Article %1 journals/tc/BrowneCDM86 %A Browne, Michael C. %A Clarke, Edmund M. %A Dill, David L. %A Mishra, Bud %D 1986 %J IEEE Trans. Computers %K dblp %N 12 %P 1035-1044 %T Automatic Verification of Sequential Circuits Using Temporal Logic. %U http://dblp.uni-trier.de/db/journals/tc/tc35.html#BrowneCDM86 %V 35

@article{journals/tc/BrowneCDM86, added-at = {2015-12-22T00:00:00.000+0100}, author = {Browne, Michael C. and Clarke, Edmund M. and Dill, David L. and Mishra, Bud}, biburl = {https://www.bibsonomy.org/bibtex/25597f7e5286c8df8f977d06ac097484e/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.1986.1676711}, interhash = {6d5111f8b0a6fefc05ba13191d6ad64b}, intrahash = {5597f7e5286c8df8f977d06ac097484e}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 12, pages = {1035-1044}, timestamp = {2015-12-24T12:04:21.000+0100}, title = {Automatic Verification of Sequential Circuits Using Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc35.html#BrowneCDM86}, volume = 35, year = 1986 }