An Iterative Framework for Simulation Conformance (bibtex)
by Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith
Reference:
An Iterative Framework for Simulation ConformanceSagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut VeithJ. Log. Comput., volume 15, number 4, pages 465-488, 2005.
Bibtex Entry:
@article{DBLP:journals/logcom/ChakiCJV05,
  author = {Sagar Chaki and Edmund M. Clarke and Somesh Jha and Helmut Veith},
  title = {An Iterative Framework for Simulation Conformance},
  number = {4},
  year = {2005},
  journal = {J. Log. Comput.},
  pages = {465--488},
  volume = {15},
  url = {http://dx.doi.org/10.1093/logcom/exi028}
}
Powered by bibtexbrowser