guest ::
Time-bounded reachability in tree-structured QBDs by abstraction
; ; ;
In
Advances in Quantitative Evaluation of Systems — QEST 2009 / ed. by David Nicol ...
In
Performance evaluation 68(2), Seiten/Artikel-Nr.:105-125
2011
Online
DOI: 10.1016/j.peva.2010.04.002
Einrichtungen
- Fachgruppe Informatik (120000)
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
Dokumenttyp
Journal Article/Contribution to a conference proceedings
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
INSPEC: 12131931
WOS Core Collection: WOS:000287422400003
SCOPUS: SCOPUS:2-s2.0-78751591273
OpenAlex: W2161038495
Interne Identnummern
RWTH-CONV-070944
Datensatz-ID: 195576
Beteiligte Länder
Germany, Netherlands
|
The record appears in these collections: |