guest ::
Pushdown processes: Parallel composition and model checking
;
1993
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-106669
Datensatz-ID: 95520
|
The record appears in these collections: |
Record created 2013-01-28, last modified 2017-07-03