Gast ::
Layered Reduction for Abstract Probabilistic Automata
;
In
ACSD 2014 : Proceedings ; 2014 14th International Conference on Application of Concurrency to System Design ; 25–27 June 2014, Tunis, Tunisia, Seiten/Artikel-Nr: 21-31
2014
Online
DOI: 10.1109/ACSD.2014.10
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: 14869588
SCOPUS: SCOPUS:2-s2.0-84988273416
OpenAlex: W2054443256
Interne Identnummern
RWTH-CONV-207194
Datensatz-ID: 465762
Beteiligte Länder
Germany
|
The record appears in these collections: |