Incremental Bounded Software Model Checking (bibtex)
by Henning Günther, Georg Weissenbacher
Reference:
Incremental Bounded Software Model CheckingHenning Günther, Georg WeissenbacherSPIN, pages 40-47, 2014, ACM.
Bibtex Entry:
@inproceedings{GW14:SPIN,
 year={2014},
 booktitle={SPIN},
 title={Incremental Bounded Software Model Checking},
 publisher={ACM},
 pages={40--47},
 author={G{\"u}nther, Henning and Weissenbacher, Georg},
 url={http://dl.acm.org/citation.cfm?id=2632374}
}
Powered by bibtexbrowser