A language for compositional specification and verification of finite state hardware controllers (bibtex)

by E. M. Clarke, D. E. Long and K. L. McMillan

Reference:

A language for compositional specification and verification of finite state hardware controllers (E. M. Clarke, D. E. Long and K. L. McMillan), In Proceedings of the IEEE, volume 79, 1991.

Bibtex Entry:

@article{ClarkeLongLanguageCompositional1991,
  author    = {E. M. Clarke and D. E. Long and K. L. McMillan},
  title     = {A language for compositional specification and verification of finite state hardware controllers},
  journal   = {Proceedings of the IEEE},
  volume    = 79,
  number    = 9,
  pages     = "1283--92",
  year      = "1991",
  url       = {IEEE91.pdf}
}