<?xml version="1.0" encoding="UTF-8"?>

<modsCollection xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-3.xsd">
<mods version="3.3">

<genre>thesis</genre>

<titleInfo><title>Efficient Consistency Checking for Embedded Memories</title></titleInfo>





<name type="personal">
  <namePart type="given">Vyacheslav</namePart>
  <namePart type="family">N. Yarmolik</namePart>
  <role><roleTerm type="text">author</roleTerm> </role></name>
<name type="personal">
  <namePart type="given">Sybille</namePart>
  <namePart type="family">Hellebrand</namePart>
  <role><roleTerm type="text">author</roleTerm> </role><identifier type="local">209</identifier><description xsi:type="identifierDefinition" type="orcid">0000-0002-3717-3939</description></name>
<name type="personal">
  <namePart type="given">Hans-Joachim</namePart>
  <namePart type="family">Wunderlich</namePart>
  <role><roleTerm type="text">author</roleTerm> </role></name>







<name type="corporate">
  <namePart></namePart>
  <identifier type="local">48</identifier>
  <role>
    <roleTerm type="text">department</roleTerm>
  </role>
</name>









<originInfo><dateIssued encoding="w3cdtf">1998</dateIssued>
</originInfo>
<language><languageTerm authority="iso639-2b" type="code">eng</languageTerm>
</language>

<subject><topic>WORKSHOP</topic>
</subject>


<relatedItem type="host">
<part>
</part>
</relatedItem>

<note type="extern">yes</note>
<extension>
<bibliographicCitation>
<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} }</bibtex>
<mla>N. Yarmolik, Vyacheslav, et al. &lt;i&gt;Efficient Consistency Checking for Embedded Memories&lt;/i&gt;. 1998.</mla>
<short>V. N. Yarmolik, S. Hellebrand, H.-J. Wunderlich, Efficient Consistency Checking for Embedded Memories, 10th GI/ITG/GMM/IEEE Workshop, 1998.</short>
<apa>N. Yarmolik, V., Hellebrand, S., &amp;#38; Wunderlich, H.-J. (1998). &lt;i&gt;Efficient Consistency Checking for Embedded Memories&lt;/i&gt;. 10th GI/ITG/GMM/IEEE Workshop.</apa>
<ama>N. Yarmolik V, Hellebrand S, Wunderlich H-J. &lt;i&gt;Efficient Consistency Checking for Embedded Memories&lt;/i&gt;. 10th GI/ITG/GMM/IEEE Workshop; 1998.</ama>
<chicago>N. Yarmolik, Vyacheslav, Sybille Hellebrand, and Hans-Joachim Wunderlich. &lt;i&gt;Efficient Consistency Checking for Embedded Memories&lt;/i&gt;. 10th GI/ITG/GMM/IEEE Workshop, 1998.</chicago>
<ieee>V. N. Yarmolik, S. Hellebrand, and H.-J. Wunderlich, &lt;i&gt;Efficient Consistency Checking for Embedded Memories&lt;/i&gt;. 10th GI/ITG/GMM/IEEE Workshop, 1998.</ieee>
</bibliographicCitation>
</extension>
<recordInfo><recordIdentifier>13092</recordIdentifier><recordCreationDate encoding="w3cdtf">2019-08-28T12:16:34Z</recordCreationDate><recordChangeDate encoding="w3cdtf">2022-01-06T06:51:28Z</recordChangeDate>
</recordInfo>
</mods>
</modsCollection>
