Gast ::
A linear-time model-checking algorithm for the alternation-free modal mu-calculus
;
In
Formal methods in system design 2(2), Seiten/Artikel-Nr.:121-147
1993
Online
DOI: 10.1007/BF01383878
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
Dokumenttyp
Journal Article
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-0027579401
WOS Core Collection: WOS:A1993MN92100002
OpenAlex: W1791618115
Interne Identnummern
RWTH-2021-09735
Datensatz-ID: 834236
Beteiligte Länder
Germany, USA
; Clarivate Analytics Master Journal List ; DEAL Springer ; Essential Science Indicators ; IF < 5 ; JCR ; Nationallizenz
; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
|
The record appears in these collections: |