zweidimensionales bewegtes Bild

Verifying Visibility-Based Weak Consistency

Digitalisierung: Hannover TIB

Namensnennung 3.0 Deutschland

0
/
0

Sprache
Englisch
Umfang
68MB, 00:17:54:25 (unknown)
Anmerkungen
Audiovisuelles Material
Standort
Hannover TIB

Erschienen in
29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021)

Schlagwort
Verification
Weak Consistency
Data Structures

Beteiligte Personen und Organisationen
Krishna, Siddharth
Emmi, Michael
Enea, Constantin
Jovanović, Dejan
Ereignis
Veröffentlichung
(wer)
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
(wann)
2021-01-01

DOI
10.5446/54930
Letzte Aktualisierung
04.12.2024, 08:09 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • zweidimensionales bewegtes Bild

Beteiligte

  • Krishna, Siddharth
  • Emmi, Michael
  • Enea, Constantin
  • Jovanović, Dejan
  • European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.

Entstanden

  • 2021-01-01

Ähnliche Objekte (12)