Gast ::
Fault trees on a diet: automated reduction by graph rewriting
; ; ; ;
In
Formal aspects of computing 29(4), Seiten/Artikel-Nr.:651-703
2017
Online
DOI: 10.1007/s00165-016-0412-0
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
- Graduiertenkolleg UnRAVeL (080060)
Thematische Einordnung (Klassifikation)
DDC: 004
Dokumenttyp
Journal Article
Format
print, online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85009923602
WOS Core Collection: WOS:000404155400005
OpenAlex: W2192694265
Interne Identnummern
RWTH-2017-06687
Datensatz-ID: 696190
Beteiligte Länder
Germany, Netherlands
Current Contents - Engineering, Computing and Technology ; Ebsco Academic Search ; 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: |