Elvio Gilberto Amparore, Susanna Donatelli. Analysis of Non-Markovian Systems in GreatSPN. 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 127-138, Springer, 2017. [doi]
Abstract is missing.