@misc{indiciaeb88c8b5e7752,
  title = {Verification of Embedded Memory Systems using Efficient Memory Modeling},
  author = {Malay K. Ganai and Aarti Gupta and Pranav Ashar},
  year = {2007},
  url = {https://arxiv.org/abs/0710.4666},
  note = {Source identifier: 0710.4666}
}