ProFeat: feature-oriented engineering for family-based probabilistic model checking

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier

Research output: Contribution to journal › Article › Academic › peer-review

60 Citations (Scopus)

Access to Document

@article{3101a21b7ed44dbfaf74495d01312bef,

title = "ProFeat: feature-oriented engineering for family-based probabilistic model checking",

author = "Philipp Chrszon and Clemens Dubslaff and Sascha Kl{\"u}ppelholz and Christel Baier",

year = "2018",

doi = "10.1007/s00165-017-0432-4",

language = "English",

volume = "30",

pages = "45--75",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery, Inc",

number = "1",

}

TY - JOUR

T1 - ProFeat: feature-oriented engineering for family-based probabilistic model checking

AU - Chrszon, Philipp

AU - Dubslaff, Clemens

AU - Klüppelholz, Sascha

AU - Baier, Christel

PY - 2018

Y1 - 2018

U2 - 10.1007/s00165-017-0432-4

DO - 10.1007/s00165-017-0432-4

M3 - Article

SN - 0934-5043

VL - 30

SP - 45

EP - 75

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 1

M1 - 1

ER -