guest ::
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
; ; ;
In
Logical methods in computer science : LMCS 7(1/2), Seiten/Artikel-Nr.:12
2011
Online
DOI: 10.2168/LMCS-7(1:12)2011
DOI: 10.18154/RWTH-CONV-060889
URL: https://publications.rwth-aachen.de/record/184368/files/184368.pdf
URL: https://publications.rwth-aachen.de/record/184368/files/184368.pdf?subformat=pdfa
Einrichtungen
- Fachgruppe Informatik (120000)
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
OpenAccess: 
PDF 
PDF (PDFA)
Dokumenttyp
Journal Article
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
WOS Core Collection: WOS:000290278900012
SCOPUS: SCOPUS:2-s2.0-79955401623
OpenAlex: W2160106881
Interne Identnummern
RWTH-CONV-060889
Datensatz-ID: 184368
Beteiligte Länder
Germany, Netherlands
; 
|
The record appears in these collections: |