Andrea Marin, Samuel Rota Bulò, Simonetta Balsamo. A Numerical Algorithm for the Decomposition of Cooperating Structured Markov Processes. In 20th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2012, Washington, DC, USA, August 7-9, 2012. pages 401-410, IEEE Computer Society, 2012. [doi]
Abstract is missing.