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

by Edmund M. Clarke, David E. Long and K.L. Mcmillan

Reference:

Bibtex Entry:

@inproceedings{ClarkeLongLanguageCompositional1989,
  author    = {Edmund M. Clarke and David E. Long and K.L. Mcmillan},
  title     = {A language for compositional specification and verification of finite state hardware controllers},
  booktitle = {CHDL 1989},
  pages     = "1283--1292",
  year      = "1989",                  
  url       = {CHDL89.pdf"}
}