guest ::
Juggrnaut: using graph grammars for abstracting unbounded heap structures
; ; ;
In
Formal methods in system design 47(2), Seiten/Artikel-Nr.:159-203
2015
Online
DOI: 10.1007/s10703-015-0236-1
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
Dokumenttyp
Journal Article
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-84942373928
WOS Core Collection: WOS:000361752300001
OpenAlex: W2110895665
Interne Identnummern
RWTH-2016-02166
Datensatz-ID: 571616
Beteiligte Länder
Germany
IF < 5 ; JCR ; Nationallizenz
; SCOPUS ; Science Citation Index Expanded ; Thomson Reuters Master Journal List ; Web of Science Core Collection
|
The record appears in these collections: |