Modelling Memory Consistency Models for Formal Verification

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2019

Schlagwort
Memory

Ereignis
Veröffentlichung
(wo)
Kaiserslautern
(wer)
Technische Universität Kaiserslautern
(wann)
2019
Urheber
Senftleben, Maximilian
Beteiligte Personen und Organisationen
Schneider, Klaus

URN
urn:nbn:de:hbz:386-kluedo-56403
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:46 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Senftleben, Maximilian
  • Schneider, Klaus
  • Technische Universität Kaiserslautern

Entstanden

  • 2019

Ähnliche Objekte (12)