Model Checking: Back and Forth between Hardware and Software (bibtex)
by Edmund M. Clarke, Aarti Gupta, Himanshu Jain, Helmut Veith
Reference:
Model Checking: Back and Forth between Hardware and SoftwareEdmund M. Clarke, Aarti Gupta, Himanshu Jain, Helmut VeithVerified Software: Theories, Tools, Experiments, October 2005.
Bibtex Entry:
@inproceedings{vstte2005:clarke:gupta:jain:veith06,
  author = {Edmund M. Clarke and Aarti Gupta and Himanshu Jain and Helmut Veith},
  title = {Model Checking: Back and Forth between Hardware and Software},
  month = {October},
  year = {2005},
  booktitle = {Verified Software: Theories, Tools, Experiments}
}
Powered by bibtexbrowser