Gast ::
Report on Probability in Computer Science (PICS) 2024
; ;
In
ACM SIGLOG news 12(1), Seiten/Artikel-Nr.:32-34
2025
Online
DOI: 10.1145/3723141.3723147
Einrichtungen
- Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
Dokumenttyp
Journal Article
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
OpenAlex: W4408293585
Interne Identnummern
RWTH-2026-05213
Datensatz-ID: 1035941
Beteiligte Länder
Germany
Lizenzstatus der Zeitschrift
|
The record appears in these collections: |
Datensatz erzeugt am 2026-05-18, letzte Änderung am 2026-09-02