guest ::
Confluence reduction for Markov automata
; ; ;
In
Quantitative aspects of programming languages and systems (2013-14) / guest editors: Nathalie Bertrand, Luca Bortolussi, Herbert Wiklicky
In
Theoretical computer science 655, Seiten/Artikel-Nr.:193-219
2016
Online
DOI: 10.1016/j.tcs.2016.01.017
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
Dokumenttyp
Journal Article/Contribution to a book
Format
print, online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-84957066201
WOS Core Collection: WOS:000390970700007
OpenAlex: W2784133204
Interne Identnummern
RWTH-2017-01193
Datensatz-ID: 683022
Beteiligte Länder
Germany, Netherlands
; Current Contents - Engineering, Computing and Technology ; Ebsco Academic Search ; IF < 5 ; JCR ; Nationallizenz
; SCOPUS ; Science Citation Index ; Science Citation Index Expanded ; Thomson Reuters Master Journal List ; Web of Science Core Collection
|
The record appears in these collections: |