cfaed Publications
Static Partial Order Reduction for Probabilistic Concurrent Systems
Reference
Álvaro Fernández-Díaz, Christel Baier, Clara Benac-Earle, Lars-Åke Fredlund, "Static Partial Order Reduction for Probabilistic Concurrent Systems" , Proceedings of the International Conference on Quantitative Evaluation of Systems (QEST), Sep 2012.
Bibtex
@InProceedings{ auto-key*fc,
author = {Fernández-Díaz, Álvaro and Baier, Christel and Benac-Earle, Clara and Fredlund, Lars-Åke},
title = {Static Partial Order Reduction for Probabilistic Concurrent Systems},
booktitle = {Proceedings of the International Conference on Quantitative Evaluation of Systems (QEST)},
month = sep,
year = {2012},
project = {B03}
}
author = {Fernández-Díaz, Álvaro and Baier, Christel and Benac-Earle, Clara and Fredlund, Lars-Åke},
title = {Static Partial Order Reduction for Probabilistic Concurrent Systems},
booktitle = {Proceedings of the International Conference on Quantitative Evaluation of Systems (QEST)},
month = sep,
year = {2012},
project = {B03}
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1132