guest ::
The revised practitioner’s guide to MDP model checking algorithms
; ; ;
In
International journal on software tools for technology transfer : STTT
2026
Published: 09 March 2026
Online
DOI: 10.1007/s10009-026-00848-y
DOI: 10.18154/RWTH-2026-03468
URL: https://publications.rwth-aachen.de/record/1032364/files/1032364.pdf
Einrichtungen
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Journal Article
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
WOS Core Collection: WOS:001711239500001
SCOPUS: SCOPUS:2-s2.0-105033466534
Interne Identnummern
RWTH-2026-03468
Datensatz-ID: 1032364
Beteiligte Länder
Austria, Germany, Netherlands
; 
; 
; Clarivate Analytics Master Journal List ; Current Contents - Engineering, Computing and Technology ; DEAL Springer ; Ebsco Academic Search ; Essential Science Indicators ; IF < 5 ; JCR ; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
|
The record appears in these collections: |
PDF