KurshanLMPY02'

BibTeX

@article{DBLP:journals/fmsd/KurshanLMPY02,
  author    = {Robert P. Kurshan and
               Vladimir Levin and
               Marius Minea and
               Doron Peled and
               H{\"u}sn{\"u} Yenig{\"u}n},
  title     = {Combining Software and Hardware Verification Techniques},
  journal   = {Formal Methods in System Design},
  volume    = {21},
  number    = {3},
  year      = {2002},
  pages     = {251-280},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}