Gast ::
Model checking for context-free processes
;
In
CONCUR 92. Berlin [u.a.] 1992, Seiten/Artikel-Nr: 123-137
1992
Online
DOI: 10.1007/BFb0084787
Einrichtungen
- Fachgruppe Informatik (120000)
- Lehr- und Forschungsgebiet Informatik (ama10)
- Lehrstuhl für Informatik II (121310)
Dokumenttyp
Contribution to a conference proceedings/Contribution to a book
Format
online, print
Sprache
English
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85029621995
OpenAlex: W1504739534
Interne Identnummern
RWTH-CONV-192003
Datensatz-ID: 121019
Beteiligte Länder
Germany
|
The record appears in these collections: |