Improved SAT-based Reachability Analysis with Observability Don't Cares (bibtex)

by Sean Safarpour and Andreas G. Veneris and Rolf Drechsler

Reference:

Sean Safarpour and Andreas G. Veneris and Rolf Drechsler, "Improved SAT-based Reachability Analysis with Observability Don't Cares", JSAT, vol. 5, no. 1-4, pp. 1-25, 2008.

Bibtex Entry:

@article{DBLP:journals/jsat/SafarpourVD08,
  author    = {Sean Safarpour and
               Andreas G. Veneris and
               Rolf Drechsler},
  pi        = {Rolf Drechsler},
  title     = {Improved {SAT}-based Reachability Analysis with Observability
               Don't Cares},
  pdffile = {../pipubs/subprojects/P04/JSAT5_1_Safarpour.pdf},
  journal   = {JSAT},
  volume    = {5},
  number    = {1-4},
  year      = {2008},
  pages     = {1-25},
  ee        = {http://jsat.ewi.tudelft.nl/content/volume5/JSAT5_1_Safarpour.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de},
keywords={easecrc_cognitive_arch_systems}
}