@misc{13091,
  author       = {{N. Yarmolik, Vyacheslav and Hellebrand, Sybille and Wunderlich, Hans-Joachim}},
  keywords     = {{WORKSHOP}},
  title        = {{{Efficient Consistency Checking for Embedded Memories}}},
  year         = {{1998}},
}