h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Quantitative model-checking of controlled discrete-time Markov processes

; ; ;

In
Information and Computation 253(Part 1), Seiten/Artikel-Nr.:1-35

ImpressumAmsterdam : Elsevier

ISSN0890-5401

Received 21 July 2014, Revised 20 July 2016, Available online 30 November 2016

Online
DOI: 10.1016/j.ic.2016.11.006


Einrichtungen

  1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
  2. Fachgruppe Informatik (120000)



Dokumenttyp
Journal Article

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85008205693
WOS Core Collection: WOS:000397379800001
OpenAlex: W171230936

Interne Identnummern
RWTH-CONV-212241
Datensatz-ID: 684632

Beteiligte Länder
Germany, Netherlands, UK

Lizenzstatus der Zeitschrift

 GO

Medline ; Current Contents - Engineering, Computing and Technology ; Ebsco Academic Search ; IF < 5 ; JCR ; SCOPUS ; Science Citation Index ; Science Citation Index Expanded ; Thomson Reuters Master Journal List ; Web of Science Core Collection
QR Code for this record

The record appears in these collections:
Document types > Articles > Journal Articles
Faculty of Computer Science (Fac.9)
Public records
Publications database
120000
121310
 Record created 2017-02-15, last modified 2026-10-02
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)