URN urn:nbn:de:hbz:386-kluedo-56403
Responsible organisation Universitätsbibliothek Kaiserslautern
67608 Kaiserslautern
Created / last modified 2019-06-18T02:15:53Z
2023-01-04T15:24:55Z

Registered URLs
https://kluedo.ub.rptu.de/frontdoor/index/index/docId/5640
https://kluedo.ub.rptu.de/files/5640/Maximilian%20Senftleben%20-%20Modelling%20Memory%20Consistency%20Models%20for%20Formal%20Verification.pdf
https://d-nb.info/1188612360/34


Please contact the responsible organisation if you experience any errors with the URLs.






Production version 1.0.1 | Thu, 26 Feb 2026 13:28:54 UTC | Stage PROD | WildFly 39.0.1.Final | Red Hat, Inc. 21.0.10+7-LTS | Linux amd64 5.14.0-427.111.1.el9_4.x86_64