Stefano Caselli, Gianni Conte, Mauro Diligenti. Evaluation of Iterative Methods on Large Markov Chains Generated by GSPN Models. In Simonetta Balsamo, Andrea Marin, Enrico Vicario, editors, New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers. Volume 825 of Communications in Computer and Information Science, pages 139-155, Springer, 2017. [doi]
Abstract is missing.