On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems.

Suzana Andova, Sonja Georgievska

Browse the full SOFSEM paper archive.