Media type: E-Book Title: Verification with Memory Models as Input Contributor: Furbach, Florian [Verfasser]; Meyer, Roland [Akademischer Betreuer] imprint: Kaiserslautern: Technische Universität Kaiserslautern, 2021 Extent: Online-Ressource Language: English Identifier: Keywords: Memory Origination: University thesis: Dissertation, Kaiserslautern, Technische Universität Kaiserslautern, 2020 Footnote: Access State: Open Access