Filippo Cavallin, Andrea Marin, Sabina Rossi. Product-Forms for Probabilistic Input/Output Automata. In 24th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2016, London, United Kingdom, September 19-21, 2016. pages 361-366, IEEE Computer Society, 2016. [doi]
Abstract is missing.