Various Ways to Quantify BDMPs

Bouissou, Marc (Corresponding author) ; Khan, Shahid (Corresponding author)^RWTH* ; Katoen, Joost-Pieter (Corresponding author)^RWTH* ; Krcal, Pavel (Corresponding author)

In
[The 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020, Dublin, Ireland], Seiten/Artikel-Nr: 1-14

2020

Konferenz/Event:4. Workshop on Models for Formal Analysis of Real Systems , Dublin , Ireland , MARS 2020

ImpressumSydney : NICTA

Umfang1-14

ReiheElectronic proceedings in theoretical computer science ; 316

Online
DOI: 10.18154/RWTH-2020-08084
DOI: 10.4204/EPTCS.316.1
10.4204/EPTCS.316.1
URL: https://publications.rwth-aachen.de/record/795086/files/795086.pdf

Einrichtungen

Thematische Einordnung (Klassifikation)
DDC: 600

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85085708766
WOS Core Collection: WOS:001045273300001

Interne Identnummern
RWTH-2020-08084
Datensatz-ID: 795086

Beteiligte Länder
France, Germany, Sweden

Related:

Preprint Bouissou, M. (Corresponding author) ; Khan, S. (Corresponding author)RWTH* ; Katoen, J.-P. (Corresponding author)RWTH* ; Krcal, P. (Corresponding author)
Various Ways to Quantify BDMPs
(2020) [10.48550/ARXIV.2004.13283]2020 OpenAccess Fulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

;

;

;

; DOAJ Seal ; SCOPUS

Record created 2020-08-04, last modified 2025-10-01

Similar records

OpenAccess:

PDF

Rate this document:

(Not yet reviewed)

h1