guest ::
Layered Reasoning for Randomized Distributed Algorithms
; ;
In
Formal aspects of computing 24(4/6), Seiten/Artikel-Nr.:477-496
2012
Online
DOI: 10.1007/s00165-012-0231-x
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Dokumenttyp
Journal Article
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
WOS Core Collection: WOS:000305830700005
SCOPUS: SCOPUS:2-s2.0-84865418140
OpenAlex: W1999872864
Interne Identnummern
RWTH-CONV-071619
Datensatz-ID: 196292
Beteiligte Länder
Germany
|
The record appears in these collections: |
Record created 2013-02-04, last modified 2026-09-16