guest ::
The concurrency workbench - a semantics-based tool for the verification of concurrent systems
; ;
In
ACM transactions on programming languages and systems 15(1), Seiten/Artikel-Nr.:36-72
1993
Online
DOI: 10.1145/151646.151648
Einrichtungen
- Fachgruppe Informatik (120000)
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
Dokumenttyp
Journal Article
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
INSPEC: 4503950
WOS Core Collection: WOS:A1993LQ58800002
SCOPUS: SCOPUS:2-s2.0-0027342054
OpenAlex: W1971107784
Interne Identnummern
RWTH-CONV-085122
Datensatz-ID: 236347
Beteiligte Länder
UK, Germany, Sweden, USA
|
The record appears in these collections: |