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]
@inproceedings{CavallinMR16, title = {Product-Forms for Probabilistic Input/Output Automata}, author = {Filippo Cavallin and Andrea Marin and Sabina Rossi}, year = {2016}, doi = {10.1109/MASCOTS.2016.19}, url = {http://doi.ieeecomputersociety.org/10.1109/MASCOTS.2016.19}, researchr = {https://researchr.org/publication/CavallinMR16}, cites = {0}, citedby = {0}, pages = {361-366}, booktitle = {24th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2016, London, United Kingdom, September 19-21, 2016}, publisher = {IEEE Computer Society}, isbn = {978-1-5090-3432-1}, }