Effective Robustness Analysis Using Bounded Model Checking Techniques (bibtex)

by Görschwin Fey, André Sülflow, Stefan Frehse and Rolf Drechsler

Reference:

Görschwin Fey, André Sülflow, Stefan Frehse and Rolf Drechsler, "Effective Robustness Analysis Using Bounded Model Checking Techniques", IEEE Trans. on CAD of Integrated Circuits and Systems, vol. 30, no. 8, pp. 1239-1252, 2011.

Bibtex Entry:

@Article{DBLP:journals/tcad/FeySFD11,
  Title                    = {Effective Robustness Analysis Using Bounded Model Checking Techniques},
  Author                   = {G{\"o}rschwin Fey and Andr{\'e} S{\"u}lflow and Stefan Frehse and Rolf Drechsler},
  Journal                  = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  Year                     = {2011},
  Number                   = {8},
  Pages                    = {1239-1252},
  Volume                   = {30},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1109/TCAD.2011.2120950},
  Pi                       = {Rolf Drechsler},
keywords={easecrc_cognitive_arch_systems}
}