Gast ::
Markov automata with multiple objectives
; ;
In
Formal methods in system design 60(1), Seiten/Artikel-Nr.:33-86
2022 & 2021
Published: 29 March 2021
Online
DOI: 10.1007/s10703-021-00364-6
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Graduiertenkolleg UnRAVeL (080060)
- Profilbereich Information & Communication Technology (ICT) (080017)
- 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-85103403737
WOS Core Collection: WOS:000634673600001
OpenAlex: W2949566299
Interne Identnummern
RWTH-2021-03360
Datensatz-ID: 816671
Beteiligte Länder
Germany, USA
; Clarivate Analytics Master Journal List ; DEAL Springer ; DEAL Springer ; Essential Science Indicators ; IF < 5 ; IF < 5 ; JCR ; Nationallizenz
; Nationallizenz ; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
|
The record appears in these collections: |