Gast ::
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
; ; ;
In
2009 24th Annual IEEE Symposium on Logic in Computer Science : LICS 2009 ; Los Angeles, California, USA, 11 - 14 August 2009 / [sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing], Seiten/Artikel-Nr: 309-318
2009
Co-located with the 16th International Static Analysis Symposium (SAS 2009)
Online
DOI: 10.1109/LICS.2009.21
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Dokumenttyp
Contribution to a book/Contribution to a conference proceedings
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
INSPEC: 10864063
SCOPUS: SCOPUS:2-s2.0-70350583090
WOS Core Collection: WOS:000275054800030
OpenAlex: W2158776910
Interne Identnummern
RWTH-CONV-173339
Datensatz-ID: 100528
Beteiligte Länder
Germany, Netherlands
|
The record appears in these collections: |