- 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
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