ACSD 2014 paper accepted

The paper entitled “Layered Reduction for Abstract Probabilistic Automata” by Arpit Sharma and Joost-Pieter Katoen has been accepted for ┬áthe 14th Int. Conf. on Application of Concurrency on System Design (ACSD) 2014.