%0 Report %1 TinelliSMT2011 %A Tinelli, Cesare %D 2011 %K k-induction smt %T SMT-based Model Checking %U http://fm.csl.sri.com/SSFT11/

@techreport{TinelliSMT2011, added-at = {2012-02-24T16:46:24.000+0100}, author = {Tinelli, Cesare}, biburl = {https://www.bibsonomy.org/bibtex/225b3e23c252ebbae65222116df0733f0/henningb}, file = {:smt/tinelli_smt_k-induction.pdf:PDF}, groups = {public}, institution = {Formal Techniques Summer School, University of Iowa}, interhash = {7f08cf9350b55a1ad6afc16f3e119c00}, intrahash = {25b3e23c252ebbae65222116df0733f0}, keywords = {k-induction smt}, timestamp = {2012-02-24T16:46:56.000+0100}, title = {SMT-based Model Checking}, type = {Presentation}, url = {http://fm.csl.sri.com/SSFT11/}, username = {henningb}, year = 2011 }