Automatic verification of sequential circuit designs (bibtex)

by E. M. Clarke, J. R. Burch, O. Grumberg, D. E. Long and K. L. McMillan

Reference:

Automatic verification of sequential circuit designs (E. M. Clarke, J. R. Burch, O. Grumberg, D. E. Long and K. L. McMillan), In Philosophical Transactions of the Royal Society, Series A, 1992.

Bibtex Entry:

@article{ClarkeBurchAutomaticVerification1992,
  author    = {E. M. Clarke and J. R. Burch and O. Grumberg and D. E. Long and K. L. McMillan},
  title     = {Automatic verification of sequential circuit designs},
  journal   = {Philosophical Transactions of the Royal Society, Series A},
  number    = 339,
  pages     = "105--20",
  year      = "1992"
}