Gast ::
Reasoning about distributed reconfigurable systems
; ; ;
In
OOPSLA2
In
Proceedings of the ACM on programming languages 6(OOPSLA2), Seiten/Artikel-Nr.:145-174
2022
Online
DOI: 10.1145/3563293
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Profilbereich Information & Communication Technology (ICT) (080017)
- Graduiertenkolleg UnRAVeL (080060)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
Dokumenttyp
Journal Article (Review Article)/Contribution to a conference proceedings
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85165629943
WOS Core Collection: WOS:001083750200007
PubMed: pmid:37122998
Interne Identnummern
RWTH-2023-02078
Datensatz-ID: 951603
Beteiligte Länder
France, Germany
; Clarivate Analytics Master Journal List ; Emerging Sources Citation Index ; SCOPUS ; Web of Science Core Collection
|
The record appears in these collections: |