---
_id: '13092'
author:
- first_name: Vyacheslav
  full_name: N. Yarmolik, Vyacheslav
  last_name: N. Yarmolik
- first_name: Sybille
  full_name: Hellebrand, Sybille
  id: '209'
  last_name: Hellebrand
  orcid: 0000-0002-3717-3939
- first_name: Hans-Joachim
  full_name: Wunderlich, Hans-Joachim
  last_name: Wunderlich
citation:
  ama: N. Yarmolik V, Hellebrand S, Wunderlich H-J. <i>Efficient Consistency Checking
    for Embedded Memories</i>. 10th GI/ITG/GMM/IEEE Workshop; 1998.
  apa: N. Yarmolik, V., Hellebrand, S., &#38; Wunderlich, H.-J. (1998). <i>Efficient
    Consistency Checking for Embedded Memories</i>. 10th GI/ITG/GMM/IEEE Workshop.
  bibtex: '@book{N. Yarmolik_Hellebrand_Wunderlich_1998, place={10th GI/ITG/GMM/IEEE
    Workshop}, title={Efficient Consistency Checking for Embedded Memories}, author={N.
    Yarmolik, Vyacheslav and Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={1998}
    }'
  chicago: N. Yarmolik, Vyacheslav, Sybille Hellebrand, and Hans-Joachim Wunderlich.
    <i>Efficient Consistency Checking for Embedded Memories</i>. 10th GI/ITG/GMM/IEEE
    Workshop, 1998.
  ieee: V. N. Yarmolik, S. Hellebrand, and H.-J. Wunderlich, <i>Efficient Consistency
    Checking for Embedded Memories</i>. 10th GI/ITG/GMM/IEEE Workshop, 1998.
  mla: N. Yarmolik, Vyacheslav, et al. <i>Efficient Consistency Checking for Embedded
    Memories</i>. 1998.
  short: V. N. Yarmolik, S. Hellebrand, H.-J. Wunderlich, Efficient Consistency Checking
    for Embedded Memories, 10th GI/ITG/GMM/IEEE Workshop, 1998.
date_created: 2019-08-28T12:16:34Z
date_updated: 2022-01-06T06:51:28Z
department:
- _id: '48'
extern: '1'
keyword:
- WORKSHOP
language:
- iso: eng
place: 10th GI/ITG/GMM/IEEE Workshop
status: public
title: Efficient Consistency Checking for Embedded Memories
type: misc
user_id: '659'
year: '1998'
...