Gast ::
Compositional Abstraction for Stochastic Systems
; ;
In
Formal modeling and analysis of timed systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14 - 16, 2009; proceedings / Joël Ouaknine... (eds.), Seiten/Artikel-Nr: 195-211
2009
Online
DOI: 10.1007/978-3-642-04368-0_16
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
WOS Core Collection: WOS:000270210700016
SCOPUS: SCOPUS:2-s2.0-70350449299
OpenAlex: W2148384577
Interne Identnummern
RWTH-CONV-095685
Datensatz-ID: 83790
Beteiligte Länder
Germany
|
The record appears in these collections: |