guest ::
Model checking for context-free processes
;
1992
Einrichtungen
- Lehr- und Forschungsgebiet Informatik (ama10)
- Lehrstuhl für Informatik II (121310)
- Fachgruppe Informatik (120000)
Dokumenttyp
Book
Format
print
Sprache
English
Interne Identnummern
RWTH-CONV-108038
Datensatz-ID: 97044
|
The record appears in these collections: |
Record created 2013-01-28, last modified 2017-07-03