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}}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=530


Go back to publications list