Gast ::
Time-Bounded Reachability in Tree-Structured QBDs by Abstraction
; ; ;
In
Sixth International Conference on the Quantitative Evaluation of Systems, 2009 : QEST '09 ; 13 - 16 Sept. 2009, Budapest, Hungary ; proceedings / organized ... by the Technical University of Budapest, Seiten/Artikel-Nr: 133-142
2009
Online
DOI: 10.1109/QEST.2009.9
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Dokumenttyp
Contribution to a conference proceedings/Contribution to a book
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
INSPEC: 10941453
WOS Core Collection: WOS:000275039200015
SCOPUS: SCOPUS:2-s2.0-74049107045
OpenAlex: W2121884216
Interne Identnummern
RWTH-CONV-195530
Datensatz-ID: 124913
Beteiligte Länder
Germany, Netherlands
|
The record appears in these collections: |