guest ::
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
;
In
Logical methods in computer science : LMCS 8(3), Seiten/Artikel-Nr.:21
2012
Online
DOI: 10.2168/LMCS-8(3:21)2012
DOI: 10.18154/RWTH-CONV-075914
URL: https://publications.rwth-aachen.de/record/213947/files/213947.pdf
URL: https://publications.rwth-aachen.de/record/213947/files/213947.pdf?subformat=pdfa
Einrichtungen
- Fachgruppe Mathematik (110000)
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) (117220)
OpenAccess: 
PDF 
PDF (PDFA)
Dokumenttyp
Journal Article
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
WOS Core Collection: WOS:000309447200021
SCOPUS: SCOPUS:2-s2.0-85011681706
Interne Identnummern
RWTH-CONV-075914
Datensatz-ID: 213947
Beteiligte Länder
France, Germany
; 
|
The record appears in these collections: |