cfaed Publications
Probabilistic Software Product Line Model Checking
Reference
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, "Probabilistic Software Product Line Model Checking", In Presentation, April 2014.
Bibtex
@misc{DKB14,
Author={Clemens Dubslaff and Sascha Kl{\"{u}}ppelholz and Christel Baier},
Title={Probabilistic Software Product Line Model Checking},
Booktitle={12th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL)},
Howpublished={Presentation},
Month={April},
Year={2014}}
Author={Clemens Dubslaff and Sascha Kl{\"{u}}ppelholz and Christel Baier},
Title={Probabilistic Software Product Line Model Checking},
Booktitle={12th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL)},
Howpublished={Presentation},
Month={April},
Year={2014}}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=530